Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

Lean release tag and prebuilt oleans

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_release_tag.yml
15 workflow runs
15 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
chore: migrate CompPoly to Lean v4.33.1 (#309) Lean release tag and prebuilt oleans #15: Commit a09455a pushed by quangvdao
6m 47s main
main
6m 47s
v4.32.2 Lean release tag and prebuilt oleans #14: Release v4.32.2 published by alexanderlhicks
7m 0s
7m 0s
chore: update Lean and Mathlib to v4.33.0 (#304) Lean release tag and prebuilt oleans #13: Commit 75c0681 pushed by dhsorens
12m 57s main
main
12m 57s
4.32.0-cache Lean release tag and prebuilt oleans #12: Release 4.32.0-cache published by dhsorens
8m 47s
8m 47s
bump 4.32 (#269) Lean release tag and prebuilt oleans #11: Commit 2b10cc3 pushed by dhsorens
14s main
main
14s
feat: first commit for version bump (#264) Lean release tag and prebuilt oleans #10: Commit e95ba1b pushed by dhsorens
10s master
master
10s
Bump to Lean/Mathlib v4.30.0 (#242) Lean release tag and prebuilt oleans #9: Commit 18c1613 pushed by dhsorens
13s master
master
13s
feat: bump to 4.30.0-rc2 (#221) Lean release tag and prebuilt oleans #8: Commit 421ffdc pushed by dhsorens
9s master
master
9s
feat: bump to 4.30.0-rc2 (#221) Lean release tag and prebuilt oleans #7: Commit 421ffdc pushed by dhsorens
14s master
master
14s
feat: update to 4.29.1 (#207) Lean release tag and prebuilt oleans #6: Commit bc5fb5f pushed by dhsorens
19s master
master
19s
feat: bump lean version to 4.29.0 (#176) Lean release tag and prebuilt oleans #5: Commit ff7e2ff pushed by dhsorens
13s master
master
13s
Chore: 4.28 update (#104) Lean release tag and prebuilt oleans #4: Commit d7b9f98 pushed by dhsorens
9s master
master
9s
version bump to v.26.0 (#46) Lean release tag and prebuilt oleans #3: Commit 3df0ce5 pushed by dhsorens
13s master
master
13s
tag workflow test (rm whitespace) Lean release tag and prebuilt oleans #2: Commit 616a7ed pushed by alexanderlhicks
11s master
master
11s
tag workflow test Lean release tag and prebuilt oleans #1: Commit 995e7e3 pushed by alexanderlhicks
7s master
master
7s