Skip to content

Actions: AD1024/lean-crush

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 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
[feat] Modularize proof reconstruction interface and support CPC format from cvc5 Documentation #52: Pull request #6 opened by AD1024
2m 48s feat/cpc
feat/cpc
2m 48s
[feat] Modularize proof reconstruction interface and support CPC format from cvc5 CI #86: Pull request #6 opened by AD1024
5m 14s feat/cpc
feat/cpc
5m 14s
Refuse dependent types in translation (#5) Documentation #51: Commit 16d19d7 pushed by AD1024
2m 2s main
main
2m 2s
Refuse dependent types in translation (#5) CI #85: Commit 16d19d7 pushed by AD1024
3m 34s main
main
3m 34s
Refuse dependent types in translation CI #84: Pull request #5 synchronize by dz7903
3m 13s dz7903:fix/refuse-dependent-function-quantifiers
dz7903:fix/refuse-dependent-function-quantifiers
3m 13s
Refuse dependent types in translation Documentation #50: Pull request #5 synchronize by dz7903
1m 33s dz7903:fix/refuse-dependent-function-quantifiers
dz7903:fix/refuse-dependent-function-quantifiers
1m 33s
Refuse dependent types in translation CI #83: Pull request #5 opened by dz7903
3m 29s dz7903:fix/refuse-dependent-function-quantifiers
dz7903:fix/refuse-dependent-function-quantifiers
3m 29s
Refuse dependent types in translation Documentation #49: Pull request #5 opened by dz7903
1m 33s dz7903:fix/refuse-dependent-function-quantifiers
dz7903:fix/refuse-dependent-function-quantifiers
1m 33s
Align optional packages with Lean 4.34.0 CI #82: Commit f1036ff pushed by AD1024
5m 50s main
main
5m 50s
Align optional packages with Lean 4.34.0 Documentation #48: Commit f1036ff pushed by AD1024
5m 18s main
main
5m 18s
[bump] Lean version to 4.34.0 Documentation #47: Commit 4616054 pushed by AD1024
4m 58s main
main
4m 58s
[bump] Lean version to 4.34.0 CI #81: Commit 4616054 pushed by AD1024
4m 12s main
main
4m 12s
Audit Verso manual and refresh benchmark figures CI #80: Commit e0d0832 pushed by AD1024
4m 4s main
main
4m 4s
Audit Verso manual and refresh benchmark figures Documentation #46: Commit e0d0832 pushed by AD1024
57s main
main
57s
Organize Alethe replay modules and clarify reconstruction rule names Documentation #45: Commit 30272c2 pushed by AD1024
1m 58s main
main
1m 58s
Organize Alethe replay modules and clarify reconstruction rule names CI #79: Commit 30272c2 pushed by AD1024
4m 38s main
main
4m 38s
Keep one fact-collection module CI #78: Commit fc4191c pushed by AD1024
3m 58s main
main
3m 58s
Keep one fact-collection module Documentation #44: Commit fc4191c pushed by AD1024
1m 29s main
main
1m 29s
[update] benchmark docs CI #77: Commit 0232cc9 pushed by AD1024
3m 32s main
main
3m 32s
[refactor] one script for running benchmarks Documentation #43: Commit ada132d pushed by AD1024
51s main
main
51s
[refactor] one script for running benchmarks CI #76: Commit ada132d pushed by AD1024
3m 47s main
main
3m 47s
Ship every measurement in one archive CI #75: Commit ca42ca7 pushed by AD1024
4m 0s main
main
4m 0s
Ship every measurement in one archive Documentation #42: Commit ca42ca7 pushed by AD1024
1m 19s main
main
1m 19s
Let the LeanHammer leg honour CRUSH_MODES Documentation #41: Commit c183f06 pushed by AD1024
5m 39s main
main
5m 39s
Let the LeanHammer leg honour CRUSH_MODES CI #74: Commit c183f06 pushed by AD1024
7m 8s main
main
7m 8s