Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,148 workflow runs
4,148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update mathlib 2024-11-12 (#833) core library #4406: Commit 9de7147 pushed by github-merge-queue bot
November 13, 2024 01:09 10m 28s main
main
November 13, 2024 01:09 10m 28s
core library core library #4405: Merge group checks requested
November 13, 2024 00:59 10m 17s
November 13, 2024 00:59 10m 17s
chore: update mathlib 2024-11-12 core library #4404: Pull request #833 synchronize by tobiasgrosser
November 13, 2024 00:57 1m 11s update-mathlib-bismillah
update-mathlib-bismillah
November 13, 2024 00:57 1m 11s
chore: update mathlib 2024-11-12 core library #4403: Pull request #833 synchronize by luisacicolini
November 13, 2024 00:38 10m 28s update-mathlib-bismillah
update-mathlib-bismillah
November 13, 2024 00:38 10m 28s
chore: update mathlib 2024-11-12 core library #4402: Pull request #833 opened by luisacicolini
November 13, 2024 00:38 5m 17s update-mathlib-bismillah
update-mathlib-bismillah
November 13, 2024 00:38 5m 17s
chore: Added a function to filter that was missed (#832) core library #4401: Commit e3f3f45 pushed by github-merge-queue bot
November 12, 2024 23:42 7m 40s main
main
November 12, 2024 23:42 7m 40s
core library core library #4400: Merge group checks requested
November 12, 2024 23:34 7m 41s
November 12, 2024 23:34 7m 41s
chore: Added a function to filter that was missed core library #4399: Pull request #832 opened by lfrenot
November 12, 2024 19:38 7m 41s leon/llvm-test_two_argument_ranges_thm
leon/llvm-test_two_argument_ranges_thm
November 12, 2024 19:38 7m 41s
chore: update tests for disjoint (#830) core library #4398: Commit 1bd0988 pushed by github-merge-queue bot
November 12, 2024 19:06 7m 32s main
main
November 12, 2024 19:06 7m 32s
core library core library #4397: Merge group checks requested
November 12, 2024 18:58 7m 29s
November 12, 2024 18:58 7m 29s
chore: update tests for disjoint core library #4396: Pull request #830 synchronize by tobiasgrosser
November 12, 2024 18:50 7m 32s tests_disjoint
tests_disjoint
November 12, 2024 18:50 7m 32s
chore: update tests for disjoint core library #4395: Pull request #830 opened by tobiasgrosser
November 12, 2024 18:30 8m 17s tests_disjoint
tests_disjoint
November 12, 2024 18:30 8m 17s
llvm: add or disjoint support (#829) core library #4394: Commit 39ac4e0 pushed by github-merge-queue bot
November 12, 2024 17:14 7m 41s main
main
November 12, 2024 17:14 7m 41s
core library core library #4393: Merge group checks requested
November 12, 2024 17:05 7m 48s
November 12, 2024 17:05 7m 48s
feat: automata decision procedure core library #4392: Pull request #790 synchronize by ineol
November 12, 2024 16:26 8m 28s auto_wf
auto_wf
November 12, 2024 16:26 8m 28s
feat: automata decision procedure core library #4391: Pull request #790 synchronize by ineol
November 12, 2024 15:18 7m 47s auto_wf
auto_wf
November 12, 2024 15:18 7m 47s
feat: automata decision procedure core library #4390: Pull request #790 synchronize by ineol
November 12, 2024 14:21 7m 59s auto_wf
auto_wf
November 12, 2024 14:21 7m 59s
llvm: add or disjoint support core library #4389: Pull request #829 synchronize by lfrenot
November 12, 2024 13:54 8m 21s leon/llvm-disjoint
leon/llvm-disjoint
November 12, 2024 13:54 8m 21s
llvm: add or disjoint support core library #4388: Pull request #829 synchronize by lfrenot
November 12, 2024 13:30 3m 10s leon/llvm-disjoint
leon/llvm-disjoint
November 12, 2024 13:30 3m 10s
llvm: add or disjoint support core library #4387: Pull request #829 synchronize by lfrenot
November 12, 2024 13:25 3m 16s leon/llvm-disjoint
leon/llvm-disjoint
November 12, 2024 13:25 3m 16s
llvm: add or disjoint support core library #4386: Pull request #829 opened by lfrenot
November 12, 2024 13:22 2m 24s leon/llvm-disjoint
leon/llvm-disjoint
November 12, 2024 13:22 2m 24s
feat: automata decision procedure core library #4385: Pull request #790 synchronize by ineol
November 12, 2024 13:06 7m 55s auto_wf
auto_wf
November 12, 2024 13:06 7m 55s
chore: Added tests that use range meta-data to the list of skipped te… core library #4384: Commit 4946b78 pushed by github-merge-queue bot
November 12, 2024 10:03 7m 39s main
main
November 12, 2024 10:03 7m 39s
core library core library #4383: Merge group checks requested
November 12, 2024 09:55 7m 22s
November 12, 2024 09:55 7m 22s
chore: Added tests that use range meta-data to the list of skipped tests core library #4382: Pull request #828 opened by lfrenot
November 12, 2024 09:42 7m 26s leon/filter-ranges
leon/filter-ranges
November 12, 2024 09:42 7m 26s