Skip to content

Actions: creusot-rs/tutorial

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
53 workflow runs
53 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: Add cargo patch for Rust build Build #54: Commit c8cc424 pushed by Lysxia
4m 10s main
main
4m 10s
ci: Add cargo patch for Rust build Build #53: Commit 29df3a3 pushed by Lysxia
3m 53s ci
ci
3m 53s
ci: Add cargo patch for Rust build Build #52: Commit 58a27a9 pushed by Lysxia
4m 13s ci
ci
4m 13s
ci: Pin to Creusot 0.12.0 Build #51: Commit b33d8f7 pushed by Lysxia
3m 54s v0.12.0
v0.12.0
3m 54s
Bump to 0.13.0-dev Build #50: Commit 6f894ae pushed by Lysxia
3m 56s main
main
3m 56s
Update to 0.12.0 Build #49: Commit 0cf8ac1 pushed by Lysxia
10m 17s main
main
10m 17s
Update to 0.12.0 Build #48: Commit 6ea59a0 pushed by Lysxia
10m 40s dev
dev
10m 40s
.devcontainer: Bump Creusot version Build #47: Commit a232e41 pushed by Lysxia
9m 22s main
main
9m 22s
README: Bump version to 0.11.0 Build #46: Commit 6efe6c9 pushed by Lysxia
9m 58s main
main
9m 58s
ci: Upgrade Creusot invocation in nightly run Build #45: Commit 686980a pushed by Lysxia
2m 8s main
main
2m 8s
Upgrade to Creusot 0.11.0 Build #44: Pull request #9 synchronize by Lysxia
3m 53s dev-main
dev-main
3m 53s
Upgrade to Creusot 0.11.0 Build #43: Pull request #9 opened by Lysxia
10m 18s dev-main
dev-main
10m 18s
Update to Creusot v0.10.0+why3find-dep Build #42: Commit 421c6d2 pushed by Lysxia
10m 1s main
main
10m 1s
Update to Creusot v0.10.0+why3find-dep Build #41: Pull request #8 synchronize by Lysxia
4m 8s fix
fix
4m 8s
Update to Creusot v0.10.0+why3find-dep Build #40: Pull request #8 synchronize by Lysxia
9m 47s fix
fix
9m 47s
Update to Creusot v0.10.0+why3find-dep Build #39: Pull request #8 opened by Lysxia
2m 42s fix
fix
2m 42s
New domain creusot.rs Build #38: Commit 8042c96 pushed by Lysxia
3m 31s main
main
3m 31s
ci: Run nightly on dev branch Build #37: Commit f93a27e pushed by Lysxia
4m 11s main
main
4m 11s
ci: Run nightly on dev branch Build #36: Pull request #7 opened by Lysxia
10m 15s ci-nightly-dev
ci-nightly-dev
10m 15s
ci: Fix nightly patch Build #35: Commit badd184 pushed by Lysxia
10m 28s main
main
10m 28s
Adapt to atomic_sc changes Build #34: Commit 0dcc79a pushed by Lysxia
9m 39s main
main
9m 39s
ci: Fix nightly patch Build #33: Commit badd184 pushed by Lysxia
4m 13s main
main
4m 13s
ci: Fix nightly patch Build #32: Pull request #6 opened by Lysxia
4m 0s ci
ci
4m 0s
ci: Cache less Build #31: Commit 10aec68 pushed by Lysxia
14m 34s main
main
14m 34s
Update Cargo.lock Build #30: Pull request #5 synchronize by Lysxia
14m 18s lock
lock
14m 18s