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,223 workflow runs
2,223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2174: Merge group checks requested
October 26, 2024 10:53 22m 14s
October 26, 2024 10:53 22m 14s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2173: Merge group checks requested
October 26, 2024 10:47 22m 0s
October 26, 2024 10:47 22m 0s
feat: add (msb, getMsbD)_twoPow tools, scaling, and auto-generated statements #2172: Pull request #726 synchronize by tobiasgrosser
October 26, 2024 10:45 11m 14s msb-twopow
msb-twopow
October 26, 2024 10:45 11m 14s
chore: update to 2024-10-25 tools, scaling, and auto-generated statements #2171: Pull request #727 synchronize by tobiasgrosser
October 26, 2024 10:36 22m 9s mathlib-nightly-2024-10-25
mathlib-nightly-2024-10-25
October 26, 2024 10:36 22m 9s
chore: update to 2024-10-25 tools, scaling, and auto-generated statements #2170: Pull request #727 opened by tobiasgrosser
October 26, 2024 10:33 21m 58s mathlib-nightly-2024-10-25
mathlib-nightly-2024-10-25
October 26, 2024 10:33 21m 58s
feat: add (msb, getMsbD)_twoPow tools, scaling, and auto-generated statements #2169: Pull request #726 synchronize by luisacicolini
October 26, 2024 07:04 11m 0s msb-twopow
msb-twopow
October 26, 2024 07:04 11m 0s
feat: add (msb, getMsbD)_twoPow tools, scaling, and auto-generated statements #2168: Pull request #726 opened by luisacicolini
October 26, 2024 07:03 10m 56s msb-twopow
msb-twopow
October 26, 2024 07:03 10m 56s
chore: update mathlib nightly 2024-20-25 tools, scaling, and auto-generated statements #2167: Pull request #725 opened by luisacicolini
October 25, 2024 18:26 22m 24s update-mathlib-jalapeno
update-mathlib-jalapeno
October 25, 2024 18:26 22m 24s
feat: Updated the tests with integer conversion operations (#724) tools, scaling, and auto-generated statements #2166: Commit 40f733c pushed by github-merge-queue bot
October 25, 2024 18:16 11m 2s main
main
October 25, 2024 18:16 11m 2s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2165: Merge group checks requested
October 25, 2024 18:08 10m 35s
October 25, 2024 18:08 10m 35s
feat: Updated the tests with integer conversion operations tools, scaling, and auto-generated statements #2164: Pull request #724 opened by lfrenot
October 25, 2024 17:11 10m 45s gen-test-25-10-2024
gen-test-25-10-2024
October 25, 2024 17:11 10m 45s
feat: Updated the tests with integer conversion operations tools, scaling, and auto-generated statements #2163: Pull request #723 synchronize by lfrenot
October 25, 2024 14:12 10m 51s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 14:12 10m 51s
feat: Updated the tests with integer conversion operations tools, scaling, and auto-generated statements #2162: Pull request #723 opened by lfrenot
October 25, 2024 13:31 11m 8s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 13:31 11m 8s
Update README.md (#722) tools, scaling, and auto-generated statements #2161: Commit 5a4957b pushed by github-merge-queue bot
October 25, 2024 13:16 10m 49s main
main
October 25, 2024 13:16 10m 49s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2160: Merge group checks requested
October 25, 2024 13:07 10m 47s
October 25, 2024 13:07 10m 47s
Update README.md tools, scaling, and auto-generated statements #2159: Pull request #722 opened by tobiasgrosser
October 25, 2024 12:58 11m 14s tobiasgrosser-patch-8
tobiasgrosser-patch-8
October 25, 2024 12:58 11m 14s
feat: Adding the integer conversion operations to the llvm dialect (#… tools, scaling, and auto-generated statements #2158: Commit 160cdb8 pushed by github-merge-queue bot
October 25, 2024 12:17 10m 35s main
main
October 25, 2024 12:17 10m 35s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2157: Merge group checks requested
October 25, 2024 12:09 11m 3s
October 25, 2024 12:09 11m 3s
feat: Adding the integer conversion operations to the llvm dialect tools, scaling, and auto-generated statements #2156: Pull request #721 synchronize by ineol
October 25, 2024 11:24 11m 28s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 11:24 11m 28s
feat: Adding the integer conversion operations to the llvm dialect tools, scaling, and auto-generated statements #2155: Pull request #721 synchronize by lfrenot
October 25, 2024 08:24 1m 14s llvm-integer-cast-ops
llvm-integer-cast-ops
October 25, 2024 08:24 1m 14s
feat: Adding the integer conversion operations to the llvm dialect tools, scaling, and auto-generated statements #2154: Pull request #721 opened by lfrenot
October 24, 2024 19:33 1m 18s llvm-integer-cast-ops
llvm-integer-cast-ops
October 24, 2024 19:33 1m 18s
feat: action for plots init tools, scaling, and auto-generated statements #2153: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:51 4m 30s action-bv-plots
action-bv-plots
October 24, 2024 18:51 4m 30s
feat: action for plots init tools, scaling, and auto-generated statements #2152: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:48 4m 59s action-bv-plots
action-bv-plots
October 24, 2024 18:48 4m 59s
feat: action for plots init tools, scaling, and auto-generated statements #2151: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:46 4m 17s action-bv-plots
action-bv-plots
October 24, 2024 18:46 4m 17s
feat: action for plots init tools, scaling, and auto-generated statements #2150: Pull request #720 synchronize by luisacicolini
October 24, 2024 18:43 4m 10s action-bv-plots
action-bv-plots
October 24, 2024 18:43 4m 10s