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

core library core library #3971: Merge group checks requested
October 26, 2024 10:53 10m 42s
October 26, 2024 10:53 10m 42s
core library core library #3970: Merge group checks requested
October 26, 2024 10:47 11m 4s
October 26, 2024 10:47 11m 4s
feat: add (msb, getMsbD)_twoPow core library #3969: Pull request #726 synchronize by tobiasgrosser
October 26, 2024 10:45 8m 1s msb-twopow
msb-twopow
October 26, 2024 10:45 8m 1s
chore: update to 2024-10-25 core library #3968: Pull request #727 synchronize by tobiasgrosser
October 26, 2024 10:36 10m 37s mathlib-nightly-2024-10-25
mathlib-nightly-2024-10-25
October 26, 2024 10:36 10m 37s
chore: update to 2024-10-25 core library #3967: Pull request #727 opened by tobiasgrosser
October 26, 2024 10:33 10m 27s mathlib-nightly-2024-10-25
mathlib-nightly-2024-10-25
October 26, 2024 10:33 10m 27s
feat: add (msb, getMsbD)_twoPow core library #3966: Pull request #726 synchronize by luisacicolini
October 26, 2024 07:04 8m 18s msb-twopow
msb-twopow
October 26, 2024 07:04 8m 18s
feat: add (msb, getMsbD)_twoPow core library #3965: Pull request #726 opened by luisacicolini
October 26, 2024 07:03 8m 27s msb-twopow
msb-twopow
October 26, 2024 07:03 8m 27s
chore: update mathlib nightly 2024-20-25 core library #3964: Pull request #725 opened by luisacicolini
October 25, 2024 18:26 10m 26s update-mathlib-jalapeno
update-mathlib-jalapeno
October 25, 2024 18:26 10m 26s
feat: Updated the tests with integer conversion operations (#724) core library #3963: Commit 40f733c pushed by github-merge-queue bot
October 25, 2024 18:16 8m 14s main
main
October 25, 2024 18:16 8m 14s
core library core library #3962: Merge group checks requested
October 25, 2024 18:08 8m 22s
October 25, 2024 18:08 8m 22s
feat: Updated the tests with integer conversion operations core library #3961: Pull request #724 opened by lfrenot
October 25, 2024 17:11 8m 20s gen-test-25-10-2024
gen-test-25-10-2024
October 25, 2024 17:11 8m 20s
feat: Updated the tests with integer conversion operations core library #3960: Pull request #723 synchronize by lfrenot
October 25, 2024 14:12 8m 26s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 14:12 8m 26s
feat: Updated the tests with integer conversion operations core library #3959: Pull request #723 opened by lfrenot
October 25, 2024 13:31 8m 14s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 13:31 8m 14s
Update README.md (#722) core library #3958: Commit 5a4957b pushed by github-merge-queue bot
October 25, 2024 13:16 8m 17s main
main
October 25, 2024 13:16 8m 17s
core library core library #3957: Merge group checks requested
October 25, 2024 13:07 8m 19s
October 25, 2024 13:07 8m 19s
Update README.md core library #3956: Pull request #722 opened by tobiasgrosser
October 25, 2024 12:58 8m 18s tobiasgrosser-patch-8
tobiasgrosser-patch-8
October 25, 2024 12:58 8m 18s
feat: Adding the integer conversion operations to the llvm dialect (#… core library #3955: Commit 160cdb8 pushed by github-merge-queue bot
October 25, 2024 12:17 8m 2s main
main
October 25, 2024 12:17 8m 2s
core library core library #3954: Merge group checks requested
October 25, 2024 12:09 8m 7s
October 25, 2024 12:09 8m 7s
feat: Adding the integer conversion operations to the llvm dialect core library #3953: Pull request #721 synchronize by ineol
October 25, 2024 11:24 8m 12s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 11:24 8m 12s
feat: Adding the integer conversion operations to the llvm dialect core library #3952: Pull request #721 synchronize by lfrenot
October 25, 2024 08:24 3m 41s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 08:24 3m 41s
feat: Adding the integer conversion operations to the llvm dialect core library #3951: Pull request #721 opened by lfrenot
October 24, 2024 19:33 3m 40s llvm-integer-cast-ops
llvm-integer-cast-ops
October 24, 2024 19:33 3m 40s
feat: action for plots init core library #3950: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:51 1m 35s action-bv-plots
action-bv-plots
October 24, 2024 18:51 1m 35s
feat: action for plots init core library #3949: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:48 1m 46s action-bv-plots
action-bv-plots
October 24, 2024 18:48 1m 46s
feat: action for plots init core library #3948: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:46 1m 28s action-bv-plots
action-bv-plots
October 24, 2024 18:46 1m 28s
feat: action for plots init core library #3947: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:43 1m 41s action-bv-plots
action-bv-plots
October 24, 2024 18:43 1m 41s