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

Check that control flow does not escape a ghost block (#1405) Deploy #99: Commit 0c7359f pushed by arnaudgolfouse
March 3, 2025 16:19 1m 56s master
master
March 3, 2025 16:19 1m 56s
test: Add 'blessed (with warnings)' status (#1406) Deploy #98: Commit ddaeefd pushed by Lysxia
March 3, 2025 15:57 1m 51s master
master
March 3, 2025 15:57 1m 51s
"Creusot contracts not loaded" error message (#1404) Deploy #97: Commit d1fa591 pushed by arnaudgolfouse
March 3, 2025 15:07 1m 58s master
master
March 3, 2025 15:07 1m 58s
Fix Seq::get_mut_ghost (#1402) Deploy #96: Commit 8b949c1 pushed by arnaudgolfouse
March 3, 2025 14:22 2m 8s master
master
March 3, 2025 14:22 2m 8s
Release 0.4 (#1389) Deploy #95: Commit b4bedbe pushed by Lysxia
March 3, 2025 10:09 3m 58s master
master
March 3, 2025 10:09 3m 58s
Remove warning about strings being experimental (#1399) Deploy #94: Commit 3efadc9 pushed by Lysxia
March 3, 2025 09:56 2m 26s master
master
March 3, 2025 09:56 2m 26s
ci: Reduce Opam cache size for MacOS (#1390) Deploy #93: Commit 92c1abc pushed by Lysxia
February 28, 2025 18:42 1m 45s master
master
February 28, 2025 18:42 1m 45s
Fix install script for MacOS (#1384) Deploy #92: Commit e5f1cc0 pushed by Lysxia
February 28, 2025 18:12 3m 50s master
master
February 28, 2025 18:12 3m 50s
Remove stray loop.rs (#1388) Deploy #91: Commit 6128b61 pushed by Lysxia
February 28, 2025 15:41 1m 57s master
master
February 28, 2025 15:41 1m 57s
Simplify injections in prelude, and move to Rust edition 2024 (#1381) Deploy #90: Commit 01ed232 pushed by jhjourdan
February 27, 2025 23:48 2m 3s master
master
February 27, 2025 23:48 2m 3s
pearlite-syn: Mention Creusot in description (#1387) Deploy #89: Commit 3b51034 pushed by Lysxia
February 27, 2025 14:19 2m 5s master
master
February 27, 2025 14:19 2m 5s
creusot-contracts-dummy: Replace #[path] attribute with symbolic link… Deploy #88: Commit c8eb13c pushed by Lysxia
February 27, 2025 14:12 1m 56s master
master
February 27, 2025 14:12 1m 56s
install: Remove lossy path-to-string conversions (#1383) Deploy #87: Commit 35a9838 pushed by Lysxia
February 27, 2025 12:34 1m 56s master
master
February 27, 2025 12:34 1m 56s
add get_unchecked_* (#1382) Deploy #86: Commit b6d0b3f pushed by xldenis
February 26, 2025 12:35 1m 57s master
master
February 26, 2025 12:35 1m 57s
Remove spurious cargo-creusot dependency on why3 (#1378) Deploy #85: Commit 8de2265 pushed by Lysxia
February 24, 2025 15:34 4m 37s master
master
February 24, 2025 15:34 4m 37s
Install why3 and why3find in local switch (#1373) Deploy #84: Commit 79b5e3e pushed by Lysxia
February 24, 2025 13:40 2m 9s master
master
February 24, 2025 13:40 2m 9s
fix: markdown links (#1377) Deploy #83: Commit 5b5f38c pushed by xldenis
February 23, 2025 16:45 1m 50s master
master
February 23, 2025 16:45 1m 50s
ci: Remove mention of inexistent build.rs (#1376) Deploy #82: Commit 340537d pushed by Lysxia
February 21, 2025 17:27 1m 54s master
master
February 21, 2025 17:27 1m 54s
Move creusot/tests to tests (#1375) Deploy #81: Commit 7b5e957 pushed by Lysxia
February 21, 2025 16:43 4m 25s master
master
February 21, 2025 16:43 4m 25s
Ghost macro inline (#1367) Deploy #80: Commit d282359 pushed by jhjourdan
February 20, 2025 14:45 2m 16s master
master
February 20, 2025 14:45 2m 16s
Always run all the 'ui' tests (#1372) Deploy #79: Commit 11089ea pushed by jhjourdan
February 20, 2025 14:34 2m 14s master
master
February 20, 2025 14:34 2m 14s
Move prelude build script into creusot-install (#1371) Deploy #78: Commit 43fecc2 pushed by jhjourdan
February 20, 2025 10:31 2m 17s master
master
February 20, 2025 10:31 2m 17s
Check that we do not reference uninit variables in logic (#1368) Deploy #77: Commit 7ec6244 pushed by jhjourdan
February 20, 2025 10:02 2m 14s master
master
February 20, 2025 10:02 2m 14s
Rename Why3find package "prelude" to "creusot" (#1370) Deploy #76: Commit e13f4f6 pushed by Lysxia
February 20, 2025 09:43 2m 21s master
master
February 20, 2025 09:43 2m 21s
Reorganize installation scripts (#1366) Deploy #75: Commit 4264a2f pushed by Lysxia
February 19, 2025 16:12 3m 27s master
master
February 19, 2025 16:12 3m 27s