Skip to content

Actions: model-checking/rust-lean-models

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade Lean to v4.11.0 (#11) Lean Action CI #4: Commit ce44f02 pushed by BrunoDutertre
September 4, 2024 01:57 28s main
main
September 4, 2024 01:57 28s
Upgrade Lean to v4.11.0 Lean Action CI #3: Pull request #11 synchronize by zhassan-aws
September 3, 2024 19:21 19s zhassan-aws:v4.11.0
zhassan-aws:v4.11.0
September 3, 2024 19:21 19s
Upgrade Lean to v4.11.0 Lean Action CI #2: Pull request #11 opened by zhassan-aws
September 3, 2024 19:20 27s zhassan-aws:v4.11.0
zhassan-aws:v4.11.0
September 3, 2024 19:20 27s
Add Lean action in CI (#10) Lean Action CI #1: Commit 16fcb23 pushed by zhassan-aws
August 27, 2024 23:29 44s main
main
August 27, 2024 23:29 44s