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

fix: use dsimp to remove abstraction overhead of our parsing stage core library #1347: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 03:30 5m 14s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 03:30 5m 14s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1346: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 03:18 8m 15s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 03:18 8m 15s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1345: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 03:14 8m 39s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 03:14 8m 39s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1344: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 03:11 8m 48s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 03:11 8m 48s
feat: add purity annotation core library #1343: Pull request #191 synchronize by bollu
April 22, 2024 22:43 11m 19s purity-annotation
purity-annotation
April 22, 2024 22:43 11m 19s
feat: add purity annotation core library #1342: Pull request #191 synchronize by bollu
April 22, 2024 22:43 11m 52s purity-annotation
purity-annotation
April 22, 2024 22:43 11m 52s
Change our use of Functor.map (via <$>) to a more targeted use of .. core library #1341: Pull request #249 opened by tobiasgrosser
April 22, 2024 20:29 9m 45s remove_functor_map
remove_functor_map
April 22, 2024 20:29 9m 45s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1340: Pull request #225 synchronize by tobiasgrosser
April 22, 2024 19:48 8m 30s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 19:48 8m 30s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1339: Pull request #225 synchronize by tobiasgrosser
April 22, 2024 19:42 8m 16s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 19:42 8m 16s
chore: use rfl in proofs where possible core library #1338: Commit c5a807b pushed by github-merge-queue bot
April 22, 2024 19:40 9m 25s main
main
April 22, 2024 19:40 9m 25s
chore: use rfl in proofs where possible docs #175: Commit c5a807b pushed by github-merge-queue bot
April 22, 2024 19:40 1m 11s main
main
April 22, 2024 19:40 1m 11s
core library core library #1337: Merge group checks requested
April 22, 2024 19:30 9m 25s
April 22, 2024 19:30 9m 25s
chore: use rfl in proofs where possible core library #1336: Pull request #248 opened by tobiasgrosser
April 22, 2024 19:20 10m 18s ctx_rfl
ctx_rfl
April 22, 2024 19:20 10m 18s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1335: Pull request #225 synchronize by tobiasgrosser
April 22, 2024 19:13 8m 25s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 19:13 8m 25s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1334: Pull request #225 synchronize by bollu
April 22, 2024 16:05 4m 52s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 16:05 4m 52s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1333: Pull request #225 synchronize by bollu
April 22, 2024 15:57 4m 24s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 15:57 4m 24s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1332: Pull request #225 synchronize by bollu
April 22, 2024 15:21 4m 7s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 15:21 4m 7s
feat: add purity annotation core library #1331: Pull request #191 synchronize by bollu
April 22, 2024 14:32 12m 5s purity-annotation
purity-annotation
April 22, 2024 14:32 12m 5s
feat: add purity annotation core library #1330: Pull request #191 synchronize by bollu
April 22, 2024 14:32 12m 16s purity-annotation
purity-annotation
April 22, 2024 14:32 12m 16s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1329: Pull request #225 synchronize by bollu
April 22, 2024 12:57 10m 15s broken_alive_autogenerated
broken_alive_autogenerated
April 22, 2024 12:57 10m 15s
fix comment in python files docs #174: Commit c2b7c24 pushed by github-merge-queue bot
April 20, 2024 12:38 1m 11s main
main
April 20, 2024 12:38 1m 11s
fix comment in python files core library #1328: Commit c2b7c24 pushed by github-merge-queue bot
April 20, 2024 12:38 9m 31s main
main
April 20, 2024 12:38 9m 31s
core library core library #1327: Merge group checks requested
April 20, 2024 12:28 9m 47s
April 20, 2024 12:28 9m 47s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1326: Pull request #225 synchronize by bollu
April 19, 2024 15:51 9m 43s broken_alive_autogenerated
broken_alive_autogenerated
April 19, 2024 15:51 9m 43s
Broken alive autogenerated in case of mismatched types (alternative branch) core library #1325: Pull request #247 synchronize by alexkeizer
April 19, 2024 15:34 2m 5s broken_alive_autogenerated_canonicalize_experiment
broken_alive_autogenerated_canonicalize_experiment
April 19, 2024 15:34 2m 5s