Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,622 workflow runs
3,622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: plots and stats for llvm tests core library #4017: Pull request #728 synchronize by luisacicolini
October 28, 2024 13:55 4m 8s llvm-eval-plots
llvm-eval-plots
October 28, 2024 13:55 4m 8s
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
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: 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
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
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) 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
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 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
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
chore: update to mathlib-nightly-2024-10-27 (#733) core library #4003: Commit 64d2ff2 pushed by github-merge-queue bot
October 28, 2024 10:53 10m 39s main
main
October 28, 2024 10:53 10m 39s
core library core library #4002: Merge group checks requested
October 28, 2024 10:41 11m 22s
October 28, 2024 10:41 11m 22s
chore: update to mathlib-nightly-2024-10-27 core library #4001: Pull request #733 synchronize by tobiasgrosser
October 28, 2024 10:29 10m 35s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 10:29 10m 35s
feat: add BitVec.(msb, getMsbD)_concat (#732) core library #4000: Commit 18efd80 pushed by github-merge-queue bot
October 28, 2024 10:17 4m 14s main
main
October 28, 2024 10:17 4m 14s
core library core library #3999: Merge group checks requested
October 28, 2024 10:12 4m 18s
October 28, 2024 10:12 4m 18s
chore: update to mathlib-nightly-2024-10-27 core library #3998: Pull request #733 synchronize by tobiasgrosser
October 28, 2024 09:41 3m 27s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 09:41 3m 27s
chore: update to mathlib-nightly-2024-10-27 core library #3997: Pull request #733 opened by tobiasgrosser
October 28, 2024 09:36 3m 23s mathlib-nightly-2024-10-27
mathlib-nightly-2024-10-27
October 28, 2024 09:36 3m 23s
feat: add BitVec.(msb, getMsbD)_concat core library #3996: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 4m 13s msb-concat
msb-concat
October 28, 2024 02:39 4m 13s
feat: add BitVec.(msb, getMsbD)_concat core library #3995: Pull request #732 synchronize by luisacicolini
October 28, 2024 02:39 4m 23s msb-concat
msb-concat
October 28, 2024 02:39 4m 23s
feat: add BitVec.(msb, getMsbD)_concat core library #3994: Pull request #732 synchronize by luisacicolini
October 28, 2024 01:38 4m 17s msb-concat
msb-concat
October 28, 2024 01:38 4m 17s
feat: add BitVec.(msb, getMsbD)_concat core library #3993: Pull request #732 opened by luisacicolini
October 28, 2024 01:38 4m 5s msb-concat
msb-concat
October 28, 2024 01:38 4m 5s