Skip to content

Actions: Verified-zkEVM/ExtTreeMapLemmas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #3 from Verified-zkEVM/dhsorens/bump_to_4_28 Tag on Version Bump #2: Commit 82d5763 pushed by dhsorens
9s master
master
9s
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 Tag on Version Bump #1: Commit 7bf4103 pushed by dhsorens
8s master
master
8s
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