Skip to content

Actions: digama0/lean4lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix: repair Lean4Lean.Experimental and cover it in CI CI #30: Commit ef849df pushed by digama0
2m 50s master
master
2m 50s
chore: bump Lean toolchain to v4.31.0 (#29) CI #29: Commit 095c0a9 pushed by digama0
3m 59s master
master
3m 59s
Bump Lean toolchain to v4.31.0 CI #28: Pull request #29 synchronize by kim-em
1m 41s kim-em:agent/bump-v4.31.0
kim-em:agent/bump-v4.31.0
1m 41s
Bump Lean toolchain to v4.31.0 CI #27: Pull request #29 opened by kim-em
4m 0s kim-em:agent/bump-v4.31.0
kim-em:agent/bump-v4.31.0
4m 0s
Verify front-end declaration checking CI #26: Pull request #28 opened by kim-em
2m 47s kim-em:verify-environment-frontend
kim-em:verify-environment-frontend
2m 47s
Verify the standard library universe level operations CI #25: Pull request #23 synchronize by kim-em
3m 18s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
3m 18s
Verify the standard library universe level operations CI #24: Pull request #23 synchronize by kim-em
3m 8s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
3m 8s
Verify the standard library universe level operations CI #23: Pull request #23 synchronize by kim-em
3m 55s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
3m 55s
refactor: move replay into Lean4Lean.Replay CI #22: Commit 6ff1690 pushed by digama0
1m 44s master
master
1m 44s
fix: replay Eq before adding Quot CI #21: Commit 5b1385a pushed by digama0
1m 37s master
master
1m 37s
fix: recognize sorts as Prop up to universe normalization CI #20: Commit 997e298 pushed by digama0
2m 43s master
master
2m 43s
fix: prove the mkAppRangeAux equation instead of assuming it (#26) CI #19: Commit 66172a2 pushed by digama0
3m 15s master
master
3m 15s
fix: prove the mkAppRangeAux equation instead of assuming it CI #18: Pull request #26 synchronize by digama0
2m 54s kim-em:issue-25
kim-em:issue-25
2m 54s
fix: prove the mkAppRangeAux equation instead of assuming it CI #17: Pull request #26 synchronize by digama0
1m 37s kim-em:issue-25
kim-em:issue-25
1m 37s
use the standard library level operations (#22) CI #16: Commit 29d9243 pushed by digama0
2m 44s master
master
2m 44s
Verify the standard library universe level operations CI #15: Pull request #23 synchronize by kim-em
3m 3s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
3m 3s
Use the standard library universe level operations CI #14: Pull request #22 synchronize by kim-em
3m 12s kim-em:original-level-algorithm
kim-em:original-level-algorithm
3m 12s
feat: prove Level cached-flag correctness CI #13: Pull request #27 synchronize by kim-em
3m 7s kim-em:issue-24
kim-em:issue-24
3m 7s
feat: prove Level cached-flag correctness CI #12: Pull request #27 synchronize by kim-em
3m 10s kim-em:issue-24
kim-em:issue-24
3m 10s
feat: prove Level cached-flag correctness CI #11: Pull request #27 opened by kim-em
3m 1s kim-em:issue-24
kim-em:issue-24
3m 1s
fix: prove the mkAppRangeAux equation instead of assuming it CI #10: Pull request #26 opened by kim-em
3m 4s kim-em:issue-25
kim-em:issue-25
3m 4s
docs: correct theorem delta-reduction comments (#21) CI #9: Commit c341302 pushed by digama0
2m 28s master
master
2m 28s
Use the standard library universe level operations CI #8: Pull request #22 synchronize by kim-em
1m 11s kim-em:original-level-algorithm
kim-em:original-level-algorithm
1m 11s
Verify the standard library universe level operations CI #7: Pull request #23 synchronize by kim-em
1m 36s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
1m 36s
Verify the standard library universe level operations CI #6: Pull request #23 opened by kim-em
3m 25s kim-em:verify-original-level-algorithm
kim-em:verify-original-level-algorithm
3m 25s