Skip to content

Actions: creusot-rs/creusot

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add specs for iterators of HashMap and HashSet (#1306) Deploy #36: Commit 2ede1f0 pushed by Lysxia
January 3, 2025 10:52 1m 57s master
master
January 3, 2025 10:52 1m 57s
Rename VCError constructors to be more traceable (#1311) Deploy #35: Commit 18c9ca1 pushed by Lysxia
December 30, 2024 10:31 1m 57s master
master
December 30, 2024 10:31 1m 57s
Remove the Cannot fetch THIR body error message (#1309) Deploy #34: Commit c373377 pushed by arnaudgolfouse
December 24, 2024 10:08 1m 59s master
master
December 24, 2024 10:08 1m 59s
Change UI of --bless (#1308) Deploy #33: Commit 4ec5565 pushed by arnaudgolfouse
December 19, 2024 15:31 2m 0s master
master
December 19, 2024 15:31 2m 0s
std::cmp and Ord functions (#1305) Deploy #32: Commit 2b46405 pushed by arnaudgolfouse
December 19, 2024 15:22 2m 3s master
master
December 19, 2024 15:22 2m 3s
Update rust dependencies (most at least) (#1307) Deploy #31: Commit fc49f23 pushed by jhjourdan
December 17, 2024 21:46 4m 33s master
master
December 17, 2024 21:46 4m 33s
Mapping indexing, and such_that (#1296) Deploy #30: Commit 505dedf pushed by arnaudgolfouse
December 12, 2024 10:57 2m 2s master
master
December 12, 2024 10:57 2m 2s
creusot-contracts: Add Iterator impls for [T;N], &mut I (#1290) Deploy #29: Commit b23abd7 pushed by Lysxia
December 11, 2024 18:29 1m 55s master
master
December 11, 2024 18:29 1m 55s
Remove unused import (#1302) Deploy #28: Commit 8dd770c pushed by Lysxia
December 11, 2024 10:38 2m 0s master
master
December 11, 2024 10:38 2m 0s
cargo-creusot: set non-zero error code if why3find fails (#1301) Deploy #27: Commit b9fec77 pushed by jhjourdan
December 11, 2024 10:14 2m 3s master
master
December 11, 2024 10:14 2m 3s
Update all github actions to their latest version (#1300) Deploy #26: Commit 1dc2332 pushed by jhjourdan
December 11, 2024 09:52 2m 5s master
master
December 11, 2024 09:52 2m 5s
Fix deployment of creusot-contracts doc (#1298) Deploy #25: Commit 739b2d0 pushed by arnaudgolfouse
December 10, 2024 15:35 2m 6s master
master
December 10, 2024 15:35 2m 6s
Logic trait diagnostics (#1297) Deploy #24: Commit 8e2fe19 pushed by arnaudgolfouse
December 10, 2024 13:53 2m 13s master
master
December 10, 2024 13:53 2m 13s
PtrOwn disjoint lemma (#1295) Deploy #23: Commit 9a85135 pushed by arnaudgolfouse
December 10, 2024 09:03 2m 9s master
master
December 10, 2024 09:03 2m 9s
Clone ghost containers (#1289) Deploy #22: Commit 6647212 pushed by arnaudgolfouse
December 6, 2024 14:32 2m 0s master
master
December 6, 2024 14:32 2m 0s
Fix tests. Deploy #21: Commit 96aa9e3 pushed by jhjourdan
December 5, 2024 16:54 2m 13s master
master
December 5, 2024 16:54 2m 13s
Fix proofs. Deploy #20: Commit 863b3a5 pushed by jhjourdan
December 5, 2024 16:47 2m 7s master
master
December 5, 2024 16:47 2m 7s
Add Resolve impls in tests. Deploy #19: Commit a080553 pushed by jhjourdan
December 5, 2024 16:27 2m 7s master
master
December 5, 2024 16:27 2m 7s
Exclude target when running the fmt script (#1292) Deploy #18: Commit c3fc666 pushed by arnaudgolfouse
December 5, 2024 15:32 2m 23s master
master
December 5, 2024 15:32 2m 23s
No inv in iterators (#1291) Deploy #17: Commit 9c87f9c pushed by jhjourdan
December 5, 2024 15:19 2m 6s master
master
December 5, 2024 15:19 2m 6s
cargo-creusot: Set by default --target-dir=target/creusot (#1288) Deploy #16: Commit 5737d8f pushed by Lysxia
December 4, 2024 15:28 2m 8s master
master
December 4, 2024 15:28 2m 8s
Merge pull request #1287 from creusot-rs/no-incremental Deploy #15: Commit 8746e60 pushed by Lysxia
December 4, 2024 12:52 1m 56s master
master
December 4, 2024 12:52 1m 56s
Merge pull request #1281 from arnaudgolfouse/int-ghost-methods Deploy #14: Commit 7f18d4f pushed by arnaudgolfouse
December 3, 2024 20:44 2m 9s master
master
December 3, 2024 20:44 2m 9s
Merge pull request #1282 from creusot-rs/add-dev-config Deploy #13: Commit a510201 pushed by Lysxia
December 3, 2024 15:39 4m 51s master
master
December 3, 2024 15:39 4m 51s
Merge pull request #1278 from creusot-rs/fancy-tests Deploy #12: Commit 5322506 pushed by Lysxia
December 3, 2024 15:12 2m 52s master
master
December 3, 2024 15:12 2m 52s