Skip to content

Actions: creusot-rs/creusot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,464 workflow runs
2,464 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Nightly #358: Scheduled
March 9, 2025 02:29 10m 32s master
master
March 9, 2025 02:29 10m 32s
Nightly Nightly #357: Scheduled
March 8, 2025 02:26 10m 43s master
master
March 8, 2025 02:26 10m 43s
Add difference operation in Fset Rust #4847: Pull request #1420 synchronize by Halbaroth
March 7, 2025 16:55 9m 2s Halbaroth:add-diff-hashset
Halbaroth:add-diff-hashset
March 7, 2025 16:55 9m 2s
rustfmt: Set style_edition = "2024" Rust #4846: Pull request #1422 opened by Lysxia
March 7, 2025 16:51 8m 26s fmt
fmt
March 7, 2025 16:51 8m 26s
Clarify documentation for update proof.json Rust #4845: Pull request #1421 synchronize by Halbaroth
March 7, 2025 16:10 8m 31s Halbaroth:clarify-why3find-proof-doc
Halbaroth:clarify-why3find-proof-doc
March 7, 2025 16:10 8m 31s
Clarify documentation for update proof.json Rust #4844: Pull request #1421 opened by Halbaroth
March 7, 2025 14:40 8m 49s Halbaroth:clarify-why3find-proof-doc
Halbaroth:clarify-why3find-proof-doc
March 7, 2025 14:40 8m 49s
Add difference operation in Fset Rust #4843: Pull request #1420 opened by Halbaroth
March 7, 2025 14:39 8m 18s Halbaroth:add-diff-hashset
Halbaroth:add-diff-hashset
March 7, 2025 14:39 8m 18s
In generated coma file, move all the use declaration to the begining … Rust #4842: Commit 229f11b pushed by jhjourdan
March 7, 2025 13:53 17m 28s master
master
March 7, 2025 13:53 17m 28s
In generated coma file, move all the use declaration to the begining … Deploy #109: Commit 229f11b pushed by jhjourdan
March 7, 2025 13:53 2m 27s master
master
March 7, 2025 13:53 2m 27s
In generated coma file, move all the use declaration to the begining of modules, and remove duplicates. Rust #4841: Pull request #1419 opened by jhjourdan
March 7, 2025 10:08 18m 5s dedup_uses
dedup_uses
March 7, 2025 10:08 18m 5s
Add basic support for RPIT (#1351) Rust #4840: Commit 327fb6d pushed by xldenis
March 7, 2025 10:02 3m 16s master
master
March 7, 2025 10:02 3m 16s
Add basic support for RPIT (#1351) Deploy #108: Commit 327fb6d pushed by xldenis
March 7, 2025 10:02 2m 33s master
master
March 7, 2025 10:02 2m 33s
Add basic support for RPIT Rust #4839: Pull request #1351 synchronize by jhjourdan
March 7, 2025 09:11 9m 14s rpit
rpit
March 7, 2025 09:11 9m 14s
Nightly Nightly #356: Scheduled
March 7, 2025 02:53 11m 9s master
master
March 7, 2025 02:53 11m 9s
Add basic support for RPIT Rust #4838: Pull request #1351 synchronize by jhjourdan
March 6, 2025 15:41 9m 28s rpit
rpit
March 6, 2025 15:41 9m 28s
Add basic support for RPIT Rust #4837: Pull request #1351 synchronize by jhjourdan
March 6, 2025 15:22 8m 9s rpit
rpit
March 6, 2025 15:22 8m 9s
Add basic support for RPIT Rust #4836: Pull request #1351 synchronize by jhjourdan
March 6, 2025 15:15 8m 16s rpit
rpit
March 6, 2025 15:15 8m 16s
Clarify the way sagnatures are handled, always normalize signatures. … Rust #4835: Commit c6376e2 pushed by jhjourdan
March 6, 2025 14:51 8m 9s master
master
March 6, 2025 14:51 8m 9s
Clarify the way sagnatures are handled, always normalize signatures. … Deploy #107: Commit c6376e2 pushed by jhjourdan
March 6, 2025 14:51 2m 34s master
master
March 6, 2025 14:51 2m 34s
Clarify the way sagnatures are handled, always normalize signatures. Rust #4834: Pull request #1418 opened by jhjourdan
March 6, 2025 14:42 8m 23s signatures_cleanup
signatures_cleanup
March 6, 2025 14:42 8m 23s
No need for additional unit parameter to functions. (#1417) Rust #4833: Commit 0c6631a pushed by jhjourdan
March 6, 2025 13:28 6m 17s master
master
March 6, 2025 13:28 6m 17s
No need for additional unit parameter to functions. (#1417) Deploy #106: Commit 0c6631a pushed by jhjourdan
March 6, 2025 13:28 2m 39s master
master
March 6, 2025 13:28 2m 39s
No need for additional unit parameter to functions. Rust #4832: Pull request #1417 synchronize by jhjourdan
March 6, 2025 13:21 6m 32s no_additionnal_unit_param
no_additionnal_unit_param
March 6, 2025 13:21 6m 32s
Unsafe operations in ptr_own (#1416) Rust #4831: Commit 76dd9c8 pushed by arnaudgolfouse
March 6, 2025 09:11 7m 20s master
master
March 6, 2025 09:11 7m 20s
Unsafe operations in ptr_own (#1416) Deploy #105: Commit 76dd9c8 pushed by arnaudgolfouse
March 6, 2025 09:11 2m 28s master
master
March 6, 2025 09:11 2m 28s