Skip to content

Actions: tydeu/lean4-partax

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to Lean v4.3.0 CI #6: Commit cae09f6 pushed by tydeu
December 10, 2023 20:48 5m 31s master
master
December 10, 2023 20:48 5m 31s
chore: bump to Lean v4.1.0 CI #5: Commit 9dfc167 pushed by tydeu
October 26, 2023 16:13 5m 40s master
master
October 26, 2023 16:13 5m 40s
chore: add GitHub CI CI #4: Commit 405bf32 pushed by tydeu
October 26, 2023 16:11 6m 25s master
master
October 26, 2023 16:11 6m 25s
chore: add GitHub CI CI #3: Pull request #1 synchronize by tydeu
October 26, 2023 15:40 5m 8s github-ci
github-ci
October 26, 2023 15:40 5m 8s
chore: add GitHub CI CI #2: Pull request #1 synchronize by tydeu
October 26, 2023 15:11 2m 38s github-ci
github-ci
October 26, 2023 15:11 2m 38s
chore: add GitHub CI CI #1: Pull request #1 opened by tydeu
October 26, 2023 15:05 4m 0s github-ci
github-ci
October 26, 2023 15:05 4m 0s