Skip to content

Actions: creusot-rs/creusot

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make creusot-contracts build on stable toolchain (#1331) Deploy #74: Commit 53faff3 pushed by jhjourdan
February 19, 2025 13:00 4m 36s master
master
February 19, 2025 13:00 4m 36s
Fix nightly CI by running apt update. (#1365) Deploy #73: Commit 5e07efa pushed by jhjourdan
February 18, 2025 10:03 2m 15s master
master
February 18, 2025 10:03 2m 15s
Add various specs for HashSet, FSet, and iterators (ranges, filter_ma… Deploy #72: Commit 9d76741 pushed by Lysxia
February 17, 2025 15:15 2m 0s master
master
February 17, 2025 15:15 2m 0s
Use write_all rather than write in build.rs (#1364) Deploy #71: Commit a6268ad pushed by arnaudgolfouse
February 17, 2025 14:34 1m 57s master
master
February 17, 2025 14:34 1m 57s
PCell: interior mutability with ghost ownership (#1262) Deploy #70: Commit b50a92e pushed by arnaudgolfouse
February 17, 2025 13:52 2m 8s master
master
February 17, 2025 13:52 2m 8s
Bitwise operators (#1357) Deploy #69: Commit 9c50553 pushed by jhjourdan
February 15, 2025 17:35 1m 57s master
master
February 15, 2025 17:35 1m 57s
test why3: add --no-cache and // TIME (\d+) options (#1354) Deploy #68: Commit 3570947 pushed by jhjourdan
February 15, 2025 06:52 4m 23s master
master
February 15, 2025 06:52 4m 23s
FMap::split_mut (#1356) Deploy #67: Commit 0976970 pushed by jhjourdan
February 14, 2025 09:38 2m 18s master
master
February 14, 2025 09:38 2m 18s
Use interior mutability in translaion contexts instead of passing mut… Deploy #66: Commit f4b9eda pushed by jhjourdan
February 12, 2025 08:39 3m 52s master
master
February 12, 2025 08:39 3m 52s
Merge tests ui and creusot-contracts (#1353) Deploy #65: Commit 40a66fd pushed by Lysxia
February 11, 2025 13:03 4m 33s master
master
February 11, 2025 13:03 4m 33s
Closure inference (again) (#1294) Deploy #64: Commit dde8c4c pushed by xldenis
February 10, 2025 09:35 2m 25s master
master
February 10, 2025 09:35 2m 25s
Simplify the way builtins/imports are handled. (#1350) Deploy #63: Commit 5169c1e pushed by jhjourdan
February 7, 2025 23:05 2m 27s master
master
February 7, 2025 23:05 2m 27s
creusot-setup: provide more hints in case of issues (mismatched solve… Deploy #62: Commit 4cb864f pushed by Lysxia
February 6, 2025 10:02 42s master
master
February 6, 2025 10:02 42s
Add test 1342. (#1345) Deploy #61: Commit 271e399 pushed by jhjourdan
February 5, 2025 13:16 2m 13s master
master
February 5, 2025 13:16 2m 13s
Import int prelude when using an integer variant. (#1344) Deploy #60: Commit a3ecf47 pushed by jhjourdan
February 5, 2025 10:29 2m 59s master
master
February 5, 2025 10:29 2m 59s
A proof of sparse_array without Why3ide. (#1340) Deploy #59: Commit ecd467d pushed by jhjourdan
February 4, 2025 10:05 1m 58s master
master
February 4, 2025 10:05 1m 58s
guide: Adapt color of <details> to theme (#1339) Deploy #58: Commit 5fd6c39 pushed by Lysxia
February 3, 2025 22:32 1m 49s master
master
February 3, 2025 22:32 1m 49s
Run tests using why3find (#1255) Deploy #57: Commit 8a6b543 pushed by Lysxia
February 3, 2025 20:12 4m 35s master
master
February 3, 2025 20:12 4m 35s
Bump rustc. (#1334) Deploy #56: Commit 6546583 pushed by jhjourdan
February 3, 2025 13:20 4m 16s master
master
February 3, 2025 13:20 4m 16s
creusot-setup: Print issues on stderr instead of stdout when bailing … Deploy #55: Commit cb81007 pushed by Lysxia
February 3, 2025 09:41 3m 9s master
master
February 3, 2025 09:41 3m 9s
Add a derive macro for Default (#1333) Deploy #54: Commit 38a60c9 pushed by arnaudgolfouse
February 1, 2025 17:36 2m 53s master
master
February 1, 2025 17:36 2m 53s
Add command cargo creusot clean (#1329) Deploy #53: Commit 4a9678e pushed by jhjourdan
January 28, 2025 20:43 3m 0s master
master
January 28, 2025 20:43 3m 0s
guide: Fix highlight.js (#1330) Deploy #52: Commit dc8bf2f pushed by Lysxia
January 28, 2025 09:50 3m 1s master
master
January 28, 2025 09:50 3m 1s
ci: Fix deploy.yml (#1328) Deploy #51: Commit 1da3944 pushed by Lysxia
January 27, 2025 14:43 3m 1s master
master
January 27, 2025 14:43 3m 1s
ci: Fix deploy.yml (#1327) Deploy #50: Commit abc647b pushed by Lysxia
January 27, 2025 14:33 25s master
master
January 27, 2025 14:33 25s