Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,072 workflow runs
11,072 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: run multiple mathlib updates (#1121) core library #5792: Commit d82d7c8 pushed by github-merge-queue bot
April 17, 2025 08:53 1m 2s main
main
April 17, 2025 08:53 1m 2s
ci: run multiple mathlib updates (#1121) tools, scaling, and auto-generated statements #3995: Commit d82d7c8 pushed by github-merge-queue bot
April 17, 2025 08:53 1m 4s main
main
April 17, 2025 08:53 1m 4s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3994: Merge group checks requested
April 17, 2025 08:51 1m 7s
April 17, 2025 08:51 1m 7s
core library core library #5791: Merge group checks requested
April 17, 2025 08:51 1m 17s
April 17, 2025 08:51 1m 17s
ci: run multiple mathlib updates core library #5790: Pull request #1121 synchronize by tobiasgrosser
April 17, 2025 08:50 58s mathlib-multi
mathlib-multi
April 17, 2025 08:50 58s
ci: run multiple mathlib updates tools, scaling, and auto-generated statements #3993: Pull request #1121 synchronize by tobiasgrosser
April 17, 2025 08:50 1m 3s mathlib-multi
mathlib-multi
April 17, 2025 08:50 1m 3s
ci: run multiple mathlib updates Evaluation #649: Pull request #1121 synchronize by tobiasgrosser
April 17, 2025 08:50 Queued mathlib-multi
mathlib-multi
April 17, 2025 08:50 Queued
ci: run multiple mathlib updates Evaluation #648: Pull request #1121 opened by tobiasgrosser
April 17, 2025 08:49 17s mathlib-multi
mathlib-multi
April 17, 2025 08:49 17s
ci: run multiple mathlib updates tools, scaling, and auto-generated statements #3992: Pull request #1121 opened by tobiasgrosser
April 17, 2025 08:49 49s mathlib-multi
mathlib-multi
April 17, 2025 08:49 49s
ci: run multiple mathlib updates core library #5789: Pull request #1121 opened by tobiasgrosser
April 17, 2025 08:49 1m 13s mathlib-multi
mathlib-multi
April 17, 2025 08:49 1m 13s
Update mathlib version Update mathlib version #781: Scheduled
April 17, 2025 08:48 19s main
main
April 17, 2025 08:48 19s
feat: add comb dialect tools, scaling, and auto-generated statements #3991: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:45 1m 2s comb-semantics-2
comb-semantics-2
April 17, 2025 08:45 1m 2s
feat: add comb dialect Evaluation #647: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:45 12h 3m 23s comb-semantics-2
comb-semantics-2
April 17, 2025 08:45 12h 3m 23s
feat: add comb dialect core library #5788: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:45 1m 16s comb-semantics-2
comb-semantics-2
April 17, 2025 08:45 1m 16s
Update mathlib version Update mathlib version #780: Manually run by tobiasgrosser
April 17, 2025 08:44 25s main
main
April 17, 2025 08:44 25s
ci: allow auto-dispatch for update-mathlib (#1120) Evaluation #646: Commit a7f7af9 pushed by github-merge-queue bot
April 17, 2025 08:44 8m 59s main
main
April 17, 2025 08:44 8m 59s
ci: allow auto-dispatch for update-mathlib (#1120) core library #5787: Commit a7f7af9 pushed by github-merge-queue bot
April 17, 2025 08:44 1m 8s main
main
April 17, 2025 08:44 1m 8s
ci: allow auto-dispatch for update-mathlib (#1120) tools, scaling, and auto-generated statements #3990: Commit a7f7af9 pushed by github-merge-queue bot
April 17, 2025 08:44 48s main
main
April 17, 2025 08:44 48s
feat: add comb dialect core library #5786: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:43 1m 11s comb-semantics-2
comb-semantics-2
April 17, 2025 08:43 1m 11s
feat: add comb dialect tools, scaling, and auto-generated statements #3989: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:43 46s comb-semantics-2
comb-semantics-2
April 17, 2025 08:43 46s
feat: add comb dialect Evaluation #645: Pull request #1112 synchronize by luisacicolini
April 17, 2025 08:43 2m 14s comb-semantics-2
comb-semantics-2
April 17, 2025 08:43 2m 14s
core library core library #5785: Merge group checks requested
April 17, 2025 08:42 1m 16s
April 17, 2025 08:42 1m 16s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3988: Merge group checks requested
April 17, 2025 08:42 53s
April 17, 2025 08:42 53s
ci: allow auto-dispatch for update-mathlib Evaluation #644: Pull request #1120 opened by tobiasgrosser
April 17, 2025 08:41 Queued mathlib-dispatch
mathlib-dispatch
April 17, 2025 08:41 Queued
ci: allow auto-dispatch for update-mathlib tools, scaling, and auto-generated statements #3987: Pull request #1120 opened by tobiasgrosser
April 17, 2025 08:41 49s mathlib-dispatch
mathlib-dispatch
April 17, 2025 08:41 49s