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

bump mathlib (#256) core library #1371: Commit c849682 pushed by github-merge-queue bot
April 24, 2024 15:30 10m 0s main
main
April 24, 2024 15:30 10m 0s
core library core library #1370: Merge group checks requested
April 24, 2024 15:20 9m 21s
April 24, 2024 15:20 9m 21s
Cli entry point core library #1369: Pull request #102 synchronize by bollu
April 24, 2024 14:37 9m 40s cli-entry-point
cli-entry-point
April 24, 2024 14:37 9m 40s
Cli entry point core library #1368: Pull request #102 synchronize by bollu
April 24, 2024 14:35 1m 13s cli-entry-point
cli-entry-point
April 24, 2024 14:35 1m 13s
Cli entry point core library #1367: Pull request #102 synchronize by bollu
April 24, 2024 14:33 1m 6s cli-entry-point
cli-entry-point
April 24, 2024 14:33 1m 6s
Cli entry point core library #1366: Pull request #102 synchronize by bollu
April 24, 2024 14:25 1m 16s cli-entry-point
cli-entry-point
April 24, 2024 14:25 1m 16s
Cli entry point core library #1365: Pull request #102 synchronize by bollu
April 24, 2024 14:15 1m 10s cli-entry-point
cli-entry-point
April 24, 2024 14:15 1m 10s
Cli entry point core library #1364: Pull request #102 synchronize by bollu
April 24, 2024 14:15 1m 20s cli-entry-point
cli-entry-point
April 24, 2024 14:15 1m 20s
Cli entry point core library #1363: Pull request #102 synchronize by bollu
April 24, 2024 14:10 9m 27s cli-entry-point
cli-entry-point
April 24, 2024 14:10 9m 27s
Cli entry point core library #1362: Pull request #102 synchronize by bollu
April 24, 2024 14:08 9m 52s cli-entry-point
cli-entry-point
April 24, 2024 14:08 9m 52s
bump mathlib core library #1361: Pull request #256 opened by goens
April 24, 2024 14:04 9m 23s mathlib-bump-24-4-24
mathlib-bump-24-4-24
April 24, 2024 14:04 9m 23s
Cli entry point core library #1360: Pull request #102 synchronize by goens
April 24, 2024 12:30 2m 11s cli-entry-point
cli-entry-point
April 24, 2024 12:30 2m 11s
Cli entry point core library #1359: Pull request #102 synchronize by goens
April 24, 2024 12:16 9m 54s cli-entry-point
cli-entry-point
April 24, 2024 12:16 9m 54s
Cli entry point core library #1358: Pull request #102 synchronize by bollu
April 24, 2024 11:32 9m 35s cli-entry-point
cli-entry-point
April 24, 2024 11:32 9m 35s
Cli entry point core library #1357: Pull request #102 synchronize by goens
April 24, 2024 11:11 9m 49s cli-entry-point
cli-entry-point
April 24, 2024 11:11 9m 49s
Regenerate before simplifying the Statements core library #1356: Pull request #255 opened by tobiasgrosser
April 24, 2024 08:59 5m 23s update-alive
update-alive
April 24, 2024 08:59 5m 23s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1355: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 10:16 8m 23s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 10:16 8m 23s
Change our use of Functor.map (via <$>) to a more targeted use of .. … docs #176: Commit 4a18fd9 pushed by github-merge-queue bot
April 23, 2024 10:14 1m 23s main
main
April 23, 2024 10:14 1m 23s
Change our use of Functor.map (via <$>) to a more targeted use of .. … core library #1354: Commit 4a18fd9 pushed by github-merge-queue bot
April 23, 2024 10:14 9m 25s main
main
April 23, 2024 10:14 9m 25s
core library core library #1353: Merge group checks requested
April 23, 2024 10:04 9m 20s
April 23, 2024 10:04 9m 20s
refactor: bundle Op and Ty into a Dialect struct core library #1352: Pull request #254 opened by alexkeizer
April 23, 2024 08:53 1m 47s dialect-struct
dialect-struct
April 23, 2024 08:53 1m 47s
Change our use of Functor.map (via <$>) to a more targeted use of .. core library #1351: Pull request #249 synchronize by tobiasgrosser
April 23, 2024 07:04 9m 33s remove_functor_map
remove_functor_map
April 23, 2024 07:04 9m 33s
Change our use of Functor.map (via <$>) to a more targeted use of .. core library #1350: Pull request #249 synchronize by tobiasgrosser
April 23, 2024 06:59 9m 21s remove_functor_map
remove_functor_map
April 23, 2024 06:59 9m 21s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1349: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 06:55 8m 26s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 06:55 8m 26s
fix: use dsimp to remove abstraction overhead of our parsing stage core library #1348: Pull request #225 synchronize by tobiasgrosser
April 23, 2024 03:32 5m 53s broken_alive_autogenerated
broken_alive_autogenerated
April 23, 2024 03:32 5m 53s