Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,322 workflow run results
1,322 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: Formalize muldivrem, select, andorxor core library #1514: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 23:58 10m 11s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 23:58 10m 11s
feat: handwritten-proof AndOrXor core library #1513: Pull request #263 synchronize by bollu
April 29, 2024 23:50 9m 30s large_proofs_twoe
large_proofs_twoe
April 29, 2024 23:50 9m 30s
wip: Formalize muldivrem, select, andorxor core library #1512: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 23:50 10m 4s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 23:50 10m 4s
feat: handwritten-proof AndOrXor core library #1511: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 23:34 9m 37s large_proofs_twoe
large_proofs_twoe
April 29, 2024 23:34 9m 37s
feat: handwritten-proof AndOrXor core library #1510: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 23:12 9m 40s large_proofs_twoe
large_proofs_twoe
April 29, 2024 23:12 9m 40s
feat: handwritten-proof AndOrXor core library #1509: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 22:07 9m 41s large_proofs_twoe
large_proofs_twoe
April 29, 2024 22:07 9m 41s
feat: handwritten-proof AndOrXor core library #1508: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 22:07 9m 44s large_proofs_twoe
large_proofs_twoe
April 29, 2024 22:07 9m 44s
feat: handwritten-proof AndOrXor core library #1507: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 22:06 10m 16s large_proofs_twoe
large_proofs_twoe
April 29, 2024 22:06 10m 16s
feat: handwritten-proof AndOrXor core library #1506: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:52 9m 58s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:52 9m 58s
feat: handwritten-proof AndOrXor core library #1505: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:36 9m 59s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:36 9m 59s
feat: handwritten-proof AndOrXor core library #1504: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:33 10m 6s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:33 10m 6s
feat: handwritten-proof AndOrXor core library #1503: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:31 9m 30s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:31 9m 30s
feat: handwritten-proof AndOrXor core library #1502: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:16 9m 48s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:16 9m 48s
feat: handwritten-proof AndOrXor core library #1501: Pull request #263 synchronize by tobiasgrosser
April 29, 2024 21:15 9m 44s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:15 9m 44s
feat: handwritten-proof AndOrXor core library #1500: Pull request #263 opened by tobiasgrosser
April 29, 2024 21:13 9m 34s large_proofs_twoe
large_proofs_twoe
April 29, 2024 21:13 9m 34s
wip: Formalize muldivrem, select, andorxor core library #1499: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 21:06 10m 12s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 21:06 10m 12s
feat: upstream a handwritten proof for alive - alive_DivRemOfSelectLa… core library #1498: Commit efac4d7 pushed by github-merge-queue bot
April 29, 2024 20:59 9m 50s main
main
April 29, 2024 20:59 9m 50s
feat: upstream a handwritten proof for alive - alive_DivRemOfSelectLa… docs #183: Commit efac4d7 pushed by github-merge-queue bot
April 29, 2024 20:59 1m 11s main
main
April 29, 2024 20:59 1m 11s
wip: Formalize muldivrem, select, andorxor core library #1497: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 20:57 10m 18s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 20:57 10m 18s
core library core library #1496: Merge group checks requested
April 29, 2024 20:48 9m 41s
April 29, 2024 20:48 9m 41s
feat: upstream a handwritten proof for alive - alive_DivRemOfSelectLarge proofs one core library #1495: Pull request #262 synchronize by bollu
April 29, 2024 20:38 9m 48s large_proofs_one
large_proofs_one
April 29, 2024 20:38 9m 48s
feat: upstream a handwritten proof for alive - alive_DivRemOfSelectLarge proofs one core library #1494: Pull request #262 synchronize by bollu
April 29, 2024 20:36 9m 49s large_proofs_one
large_proofs_one
April 29, 2024 20:36 9m 49s
feat: upstream a handwritten proof for alive - alive_DivRemOfSelectLarge proofs one core library #1493: Pull request #262 synchronize by bollu
April 29, 2024 20:33 9m 56s large_proofs_one
large_proofs_one
April 29, 2024 20:33 9m 56s
wip: Formalize muldivrem, select, andorxor core library #1492: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 20:31 10m 20s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 20:31 10m 20s
wip: Formalize muldivrem, select, andorxor core library #1491: Pull request #167 synchronize by tobiasgrosser
April 29, 2024 20:06 10m 45s alive-hardest-proof-2
alive-hardest-proof-2
April 29, 2024 20:06 10m 45s