Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,378 workflow runs
6,378 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: drop lowering of abs after recent lean update (#736) tools, scaling, and auto-generated statements #2219: Commit f1cfa87 pushed by github-merge-queue bot
October 28, 2024 13:05 6m 39s main
main
October 28, 2024 13:05 6m 39s
chore: drop lowering of abs after recent lean update (#736) core library #4016: Commit f1cfa87 pushed by github-merge-queue bot
October 28, 2024 13:05 4m 18s main
main
October 28, 2024 13:05 4m 18s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2218: Merge group checks requested
October 28, 2024 13:01 In progress
October 28, 2024 13:01 In progress
core library core library #4015: Merge group checks requested
October 28, 2024 13:01 4m 10s
October 28, 2024 13:01 4m 10s
chore: drop lowering of abs after recent lean update core library #4014: Pull request #736 opened by tobiasgrosser
October 28, 2024 12:56 4m 13s drop_abs
drop_abs
October 28, 2024 12:56 4m 13s
chore: drop lowering of abs after recent lean update tools, scaling, and auto-generated statements #2217: Pull request #736 opened by tobiasgrosser
October 28, 2024 12:56 22m 32s drop_abs
drop_abs
October 28, 2024 12:56 22m 32s
chore: update mathlib 2024-10-28 (#735) core library #4013: Commit e71884e pushed by github-merge-queue bot
October 28, 2024 12:40 10m 46s main
main
October 28, 2024 12:40 10m 46s
chore: update mathlib 2024-10-28 (#735) tools, scaling, and auto-generated statements #2216: Commit e71884e pushed by github-merge-queue bot
October 28, 2024 12:40 23m 12s main
main
October 28, 2024 12:40 23m 12s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2215: Merge group checks requested
October 28, 2024 12:29 22m 42s
October 28, 2024 12:29 22m 42s
core library core library #4012: Merge group checks requested
October 28, 2024 12:29 10m 42s
October 28, 2024 12:29 10m 42s
chore: update mathlib 2024-10-28 core library #4011: Pull request #735 opened by luisacicolini
October 28, 2024 12:17 11m 16s update-mathlib-panzanella
update-mathlib-panzanella
October 28, 2024 12:17 11m 16s
chore: update mathlib 2024-10-28 tools, scaling, and auto-generated statements #2214: Pull request #735 opened by luisacicolini
October 28, 2024 12:17 22m 20s update-mathlib-panzanella
update-mathlib-panzanella
October 28, 2024 12:17 22m 20s
feat: plots and stats for llvm tests tools, scaling, and auto-generated statements #2213: Pull request #728 synchronize by luisacicolini
October 28, 2024 12:10 11m 16s llvm-eval-plots
llvm-eval-plots
October 28, 2024 12:10 11m 16s
feat: plots and stats for llvm tests core library #4010: Pull request #728 synchronize by luisacicolini
October 28, 2024 12:10 8m 10s llvm-eval-plots
llvm-eval-plots
October 28, 2024 12:10 8m 10s
chore: fix warnings (#734) tools, scaling, and auto-generated statements #2212: Commit f808911 pushed by github-merge-queue bot
October 28, 2024 11:31 10m 47s main
main
October 28, 2024 11:31 10m 47s
chore: fix warnings (#734) core library #4009: Commit f808911 pushed by github-merge-queue bot
October 28, 2024 11:31 8m 0s main
main
October 28, 2024 11:31 8m 0s
core library core library #4008: Merge group checks requested
October 28, 2024 11:22 8m 29s
October 28, 2024 11:22 8m 29s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2211: Merge group checks requested
October 28, 2024 11:22 10m 34s
October 28, 2024 11:22 10m 34s
chore: fix warnings core library #4007: Pull request #734 synchronize by tobiasgrosser
October 28, 2024 11:13 8m 16s fix_warnings
fix_warnings
October 28, 2024 11:13 8m 16s
chore: fix warnings tools, scaling, and auto-generated statements #2210: Pull request #734 synchronize by tobiasgrosser
October 28, 2024 11:13 22m 44s fix_warnings
fix_warnings
October 28, 2024 11:13 22m 44s
chore: fix encoding issues (#731) tools, scaling, and auto-generated statements #2209: Commit b406498 pushed by github-merge-queue bot
October 28, 2024 11:11 22m 3s main
main
October 28, 2024 11:11 22m 3s
chore: fix encoding issues (#731) core library #4006: Commit b406498 pushed by github-merge-queue bot
October 28, 2024 11:11 56s main
main
October 28, 2024 11:11 56s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2208: Merge group checks requested
October 28, 2024 11:09 22m 30s
October 28, 2024 11:09 22m 30s
core library core library #4005: Merge group checks requested
October 28, 2024 11:09 1m 8s
October 28, 2024 11:09 1m 8s
chore: fix warnings core library #4004: Pull request #734 opened by tobiasgrosser
October 28, 2024 11:07 8m 32s fix_warnings
fix_warnings
October 28, 2024 11:07 8m 32s