Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: drop unused theorems core library #3921: Pull request #712 synchronize by tobiasgrosser
October 23, 2024 15:51 4m 3s drop_unused
drop_unused
October 23, 2024 15:51 4m 3s
chore: drop unused theorems core library #3920: Pull request #712 synchronize by tobiasgrosser
October 23, 2024 15:50 4m 9s drop_unused
drop_unused
October 23, 2024 15:50 4m 9s
chore: drop unused theorems core library #3919: Pull request #712 synchronize by tobiasgrosser
October 23, 2024 15:48 4m 2s drop_unused
drop_unused
October 23, 2024 15:48 4m 2s
core library core library #3918: Merge group checks requested
October 23, 2024 15:44 4m 6s
October 23, 2024 15:44 4m 6s
chore: drop unused theorems core library #3917: Pull request #712 synchronize by tobiasgrosser
October 23, 2024 15:40 3m 59s drop_unused
drop_unused
October 23, 2024 15:40 3m 59s
feat: gather statistics for LLVM test case generation (#717) core library #3916: Commit d93ca76 pushed by github-merge-queue bot
October 23, 2024 11:01 1m 10s main
main
October 23, 2024 11:01 1m 10s
core library core library #3915: Merge group checks requested
October 23, 2024 10:59 53s
October 23, 2024 10:59 53s
feat: gather statistics for LLVM test case generation core library #3914: Pull request #717 synchronize by lfrenot
October 23, 2024 10:58 56s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:58 56s
feat: gather statistics for LLVM test case generation core library #3913: Pull request #717 synchronize by lfrenot
October 23, 2024 10:55 58s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:55 58s
feat: gather statistics for LLVM test case generation core library #3912: Pull request #717 synchronize by lfrenot
October 23, 2024 10:49 59s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:49 59s
feat: gather statistics for LLVM test case generation core library #3911: Pull request #717 synchronize by lfrenot
October 23, 2024 10:21 10m 22s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:21 10m 22s
chore: update to mathlib nightly 2024-10-23 (#716) core library #3910: Commit bb150ce pushed by github-merge-queue bot
October 23, 2024 10:20 10m 40s main
main
October 23, 2024 10:20 10m 40s
feat: gather statistics for LLVM test case generation core library #3909: Pull request #717 synchronize by lfrenot
October 23, 2024 10:19 53s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:19 53s
feat: gather statistics for LLVM test case generation core library #3908: Pull request #717 synchronize by lfrenot
October 23, 2024 10:16 56s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:16 56s
feat: gather statistics for LLVM test case generation core library #3907: Pull request #717 synchronize by lfrenot
October 23, 2024 10:14 1m 16s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:14 1m 16s
core library core library #3906: Merge group checks requested
October 23, 2024 10:10 10m 31s
October 23, 2024 10:10 10m 31s
feat: gather statistics for LLVM test case generation core library #3905: Pull request #717 opened by lfrenot
October 23, 2024 10:02 4m 57s instcombine-test-stats
instcombine-test-stats
October 23, 2024 10:02 4m 57s
chore: update to mathlib nightly 2024-10-23 core library #3904: Pull request #716 synchronize by tobiasgrosser
October 23, 2024 09:59 10m 28s mathlib-nightly-2024-10-23
mathlib-nightly-2024-10-23
October 23, 2024 09:59 10m 28s
chore: update to mathlib nightly 2024-10-23 core library #3903: Pull request #716 opened by tobiasgrosser
October 23, 2024 09:58 10m 27s mathlib-nightly-2024-10-23
mathlib-nightly-2024-10-23
October 23, 2024 09:58 10m 27s
Disable doc build (#715) core library #3902: Commit 4126db5 pushed by github-merge-queue bot
October 23, 2024 01:10 57s main
main
October 23, 2024 01:10 57s
core library core library #3901: Merge group checks requested
October 23, 2024 01:08 1m 9s
October 23, 2024 01:08 1m 9s
Disable doc build core library #3900: Pull request #715 opened by tobiasgrosser
October 23, 2024 01:06 54s disable-doc-build
disable-doc-build
October 23, 2024 01:06 54s
chore: update to 2024-10-22 (#714) core library #3899: Commit 16b9c51 pushed by github-merge-queue bot
October 22, 2024 22:48 10m 23s main
main
October 22, 2024 22:48 10m 23s
core library core library #3898: Merge group checks requested
October 22, 2024 22:38 10m 28s
October 22, 2024 22:38 10m 28s
chore: update to 2024-10-22 core library #3897: Pull request #714 synchronize by tobiasgrosser
October 22, 2024 22:03 2m 30s mathlib-santaclara
mathlib-santaclara
October 22, 2024 22:03 2m 30s