Skip to content

Actions: opencompl/lean-mlir

Actions

tools, scaling, and auto-generated statements

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-tools.yml
2,219 workflow runs
2,219 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: plots and stats for llvm tests tools, scaling, and auto-generated statements #2220: Pull request #728 synchronize by luisacicolini
October 28, 2024 13:55 6m 48s llvm-eval-plots
llvm-eval-plots
October 28, 2024 13:55 6m 48s
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
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2218: Merge group checks requested
October 28, 2024 13:01 22m 59s
October 28, 2024 13:01 22m 59s
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) 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
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
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
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 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
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
chore: fix warnings tools, scaling, and auto-generated statements #2207: Pull request #734 opened by tobiasgrosser
October 28, 2024 11:07 21m 16s fix_warnings
fix_warnings
October 28, 2024 11:07 21m 16s
chore: update to mathlib-nightly-2024-10-27 (#733) tools, scaling, and auto-generated statements #2206: Commit 64d2ff2 pushed by github-merge-queue bot
October 28, 2024 10:53 22m 14s main
main
October 28, 2024 10:53 22m 14s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2205: Merge group checks requested
October 28, 2024 10:41 22m 19s
October 28, 2024 10:41 22m 19s
chore: update to mathlib-nightly-2024-10-27 tools, scaling, and auto-generated statements #2204: Pull request #733 synchronize by tobiasgrosser
October 28, 2024 10:29 22m 20s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 10:29 22m 20s
feat: add BitVec.(msb, getMsbD)_concat (#732) tools, scaling, and auto-generated statements #2203: Commit 18efd80 pushed by github-merge-queue bot
October 28, 2024 10:17 6m 52s main
main
October 28, 2024 10:17 6m 52s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2202: Merge group checks requested
October 28, 2024 10:12 6m 57s
October 28, 2024 10:12 6m 57s
chore: update to mathlib-nightly-2024-10-27 tools, scaling, and auto-generated statements #2201: Pull request #733 synchronize by tobiasgrosser
October 28, 2024 09:41 12m 43s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 09:41 12m 43s
chore: update to mathlib-nightly-2024-10-27 tools, scaling, and auto-generated statements #2200: Pull request #733 opened by tobiasgrosser
October 28, 2024 09:36 12m 30s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 09:36 12m 30s
feat: add BitVec.(msb, getMsbD)_concat tools, scaling, and auto-generated statements #2199: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 6m 39s msb-concat
msb-concat
October 28, 2024 02:39 6m 39s
feat: add BitVec.(msb, getMsbD)_concat tools, scaling, and auto-generated statements #2198: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 6m 23s msb-concat
msb-concat
October 28, 2024 02:39 6m 23s
feat: add BitVec.(msb, getMsbD)_concat tools, scaling, and auto-generated statements #2197: Pull request #732 synchronize by luisacicolini
October 28, 2024 01:38 6m 31s msb-concat
msb-concat
October 28, 2024 01:38 6m 31s
feat: add BitVec.(msb, getMsbD)_concat tools, scaling, and auto-generated statements #2196: Pull request #732 opened by luisacicolini
October 28, 2024 01:38 6m 26s msb-concat
msb-concat
October 28, 2024 01:38 6m 26s