Skip to content

Actions: creusot-rs/creusot

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Nightly #342: Scheduled
February 21, 2025 02:46 12m 10s master
master
February 21, 2025 02:46 12m 10s
Install why3 and why3find in local switch Rust #4718: Pull request #1373 synchronize by Lysxia
February 20, 2025 14:46 5m 18s install-opam
install-opam
February 20, 2025 14:46 5m 18s
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
Ghost macro inline (#1367) Rust #4717: Commit d282359 pushed by jhjourdan
February 20, 2025 14:45 5m 18s master
master
February 20, 2025 14:45 5m 18s
Install why3 and why3find in local switch Rust #4716: Pull request #1373 synchronize by Lysxia
February 20, 2025 14:45 4m 43s install-opam
install-opam
February 20, 2025 14:45 4m 43s
Install why3 and why3find in local switch Rust #4715: Pull request #1373 opened by Lysxia
February 20, 2025 14:44 4m 45s install-opam
install-opam
February 20, 2025 14:44 4m 45s
Ghost macro inline Rust #4714: Pull request #1367 synchronize by arnaudgolfouse
February 20, 2025 14:35 4m 53s arnaudgolfouse:ghost-macro-inline
arnaudgolfouse:ghost-macro-inline
February 20, 2025 14:35 4m 53s
Always run all the 'ui' tests (#1372) Rust #4713: Commit 11089ea pushed by jhjourdan
February 20, 2025 14:34 10m 16s master
master
February 20, 2025 14:34 10m 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
Always run all the 'ui' tests Rust #4712: Pull request #1372 synchronize by arnaudgolfouse
February 20, 2025 14:29 4m 49s arnaudgolfouse:dont-stop-ui-test
arnaudgolfouse:dont-stop-ui-test
February 20, 2025 14:29 4m 49s
Always run all the 'ui' tests Rust #4711: Pull request #1372 synchronize by arnaudgolfouse
February 20, 2025 14:08 9m 55s arnaudgolfouse:dont-stop-ui-test
arnaudgolfouse:dont-stop-ui-test
February 20, 2025 14:08 9m 55s
Always run all the 'ui' tests Rust #4710: Pull request #1372 opened by arnaudgolfouse
February 20, 2025 14:08 9m 56s arnaudgolfouse:dont-stop-ui-test
arnaudgolfouse:dont-stop-ui-test
February 20, 2025 14:08 9m 56s
Ghost macro inline Rust #4709: Pull request #1367 synchronize by arnaudgolfouse
February 20, 2025 13:51 9m 46s arnaudgolfouse:ghost-macro-inline
arnaudgolfouse:ghost-macro-inline
February 20, 2025 13:51 9m 46s
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
Move prelude build script into creusot-install (#1371) Rust #4708: Commit 43fecc2 pushed by jhjourdan
February 20, 2025 10:31 9m 39s master
master
February 20, 2025 10:31 9m 39s
Move prelude build script into creusot-install Rust #4707: Pull request #1371 synchronize by Lysxia
February 20, 2025 10:26 5m 16s install-prelude
install-prelude
February 20, 2025 10:26 5m 16s
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
Check that we do not reference uninit variables in logic (#1368) Rust #4706: Commit 7ec6244 pushed by jhjourdan
February 20, 2025 10:02 4m 54s master
master
February 20, 2025 10:02 4m 54s
Check that we do not reference uninit variables in logic Rust #4705: Pull request #1368 synchronize by arnaudgolfouse
February 20, 2025 09:57 5m 7s arnaudgolfouse:check-uninit-in-logic
arnaudgolfouse:check-uninit-in-logic
February 20, 2025 09:57 5m 7s
Move prelude build script into creusot-install Rust #4704: Pull request #1371 synchronize by Lysxia
February 20, 2025 09:55 10m 1s install-prelude
install-prelude
February 20, 2025 09:55 10m 1s
Move prelude build script into creusot-install Rust #4703: Pull request #1371 opened by Lysxia
February 20, 2025 09:53 9m 51s install-prelude
install-prelude
February 20, 2025 09:53 9m 51s
Rename Why3find package "prelude" to "creusot" (#1370) Rust #4702: Commit e13f4f6 pushed by Lysxia
February 20, 2025 09:43 13m 18s master
master
February 20, 2025 09:43 13m 18s
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
Rename Why3find package "prelude" to "creusot" Rust #4701: Pull request #1370 opened by Lysxia
February 20, 2025 09:21 13m 38s rename-prelude
rename-prelude
February 20, 2025 09:21 13m 38s
Nightly Nightly #341: Scheduled
February 20, 2025 02:45 17m 32s master
master
February 20, 2025 02:45 17m 32s