Skip to content

Actions: Verified-zkEVM/ExtTreeMapLemmas

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
22 workflow runs
22 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
bump to 4.29.0 (#7) Lean Action CI #22: Commit 8b87174 pushed by dhsorens
2m 13s master
master
2m 13s
bump to 4.29.0 Lean Action CI #21: Pull request #7 opened by dhsorens
2m 15s dhsorens/bump_to_4_29_0
dhsorens/bump_to_4_29_0
2m 15s
bump to 4.29.0 Lean Action CI #20: Commit 546b143 pushed by dhsorens
2m 21s dhsorens/bump_to_4_29_0
dhsorens/bump_to_4_29_0
2m 21s
bump to v4.29.0 Lean Action CI #19: Commit 5bfd2fb pushed by dhsorens
2m 24s dhsorens/bump_to_v4_29
dhsorens/bump_to_v4_29
2m 24s
Generalize ExtTreeMap lemma universes (#6) Lean Action CI #18: Commit 5e51842 pushed by dhsorens
1m 52s v4.29.0-rc6-patch-1
v4.29.0-rc6-patch-1
1m 52s
Generalize ExtTreeMap lemma universes (#6) Lean Action CI #17: Commit 5e51842 pushed by dhsorens
2m 4s master
master
2m 4s
Generalize ExtTreeMap lemma universes Lean Action CI #16: Pull request #6 opened by quangvdao
2m 47s quangvdao:quang/type-universe
quangvdao:quang/type-universe
2m 47s
feat: bump to 4.29.0-rc6 Lean Action CI #15: Commit 26ea6d3 pushed by dhsorens
2m 10s v4.29.0-rc6
v4.29.0-rc6
2m 10s
feat: bump to 4.29.0-rc6 (#5) Lean Action CI #14: Commit c912d19 pushed by dhsorens
2m 23s master
master
2m 23s
bump to 4.29.0-rc6 Lean Action CI #13: Pull request #5 opened by dhsorens
2m 17s dhsorens/bump_to_4_29_rc6
dhsorens/bump_to_4_29_rc6
2m 17s
feat: bump to 4.29.0-rc6 Lean Action CI #12: Commit 26ea6d3 pushed by dhsorens
3m 2s dhsorens/bump_to_4_29_rc6
dhsorens/bump_to_4_29_rc6
3m 2s
fix: grind compiler warning Lean Action CI #11: Commit 1c21eb1 pushed by dhsorens
2m 22s v4.28.0-patch-1
v4.28.0-patch-1
2m 22s
fix: grind compiler warning (#4) Lean Action CI #10: Commit a72dfdc pushed by dhsorens
4m 30s master
master
4m 30s
fix: grind compiler warning Lean Action CI #9: Pull request #4 opened by dhsorens
4m 14s dhsorens/grind-warnings
dhsorens/grind-warnings
4m 14s
fix: grind compiler warning Lean Action CI #8: Commit 1c21eb1 pushed by dhsorens
2m 15s dhsorens/grind-warnings
dhsorens/grind-warnings
2m 15s
Merge pull request #1 from dhsorens/dhsorens/bump_to_4_26 Lean Action CI #7: Commit fcc1829 pushed by dhsorens
2m 45s v4.26.0
v4.26.0
2m 45s
Merge pull request #3 from Verified-zkEVM/dhsorens/bump_to_4_28 Lean Action CI #6: Commit 82d5763 pushed by dhsorens
2m 12s master
master
2m 12s
chore: update to 4_28 Lean Action CI #5: Pull request #3 opened by dhsorens
2m 12s dhsorens/bump_to_4_28
dhsorens/bump_to_4_28
2m 12s
feat: update to 4_28 Lean Action CI #4: Commit 005d017 pushed by dhsorens
2m 51s dhsorens/bump_to_4_28
dhsorens/bump_to_4_28
2m 51s
Merge pull request #2 from Verified-zkEVM/dhsorens/bump_to_4_27 Lean Action CI #3: Commit 7bf4103 pushed by dhsorens
2m 11s master
master
2m 11s
Chore: Bump to 4.27 Lean Action CI #2: Pull request #2 synchronize by dhsorens
2m 15s dhsorens/bump_to_4_27
dhsorens/bump_to_4_27
2m 15s
Add CI workflow to tag on Lean/mathlib version bump Lean Action CI #1: Commit e961f4f pushed by dhsorens
2m 20s dhsorens/bump_to_4_27
dhsorens/bump_to_4_27
2m 20s