Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add comb dialect core library #5273: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 10m 47s comb-dialect
comb-dialect
February 7, 2025 15:33 10m 47s
Bv circuit automata eval analysis improvements (#1003) core library #5272: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 10m 57s main
main
February 7, 2025 15:01 10m 57s
core library core library #5271: Merge group checks requested
February 7, 2025 14:49 11m 6s
February 7, 2025 14:49 11m 6s
Bv circuit automata eval analysis improvements core library #5270: Pull request #1003 opened by bollu
February 7, 2025 14:38 10m 53s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 10m 53s
feat: changes made to evaluation runner of width-generic tactics (#1001) core library #5269: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 10m 39s main
main
February 7, 2025 10:48 10m 39s
core library core library #5268: Merge group checks requested
February 7, 2025 10:37 10m 47s
February 7, 2025 10:37 10m 47s
feat: changes made to evaluation runner of width-generic tactics core library #5267: Pull request #1001 synchronize by bollu
February 7, 2025 10:26 10m 42s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 10:26 10m 42s
feat: bring back sensible limits for reflection tactic. (#1002) core library #5266: Commit 4e76df5 pushed by github-merge-queue bot
February 7, 2025 09:25 11m 11s main
main
February 7, 2025 09:25 11m 11s
core library core library #5265: Merge group checks requested
February 7, 2025 09:13 11m 25s
February 7, 2025 09:13 11m 25s
feat: bring back sensible limits for reflection tactic. core library #5264: Pull request #1002 synchronize by bollu
February 7, 2025 09:02 11m 7s limits-bv-automata
limits-bv-automata
February 7, 2025 09:02 11m 7s
feat: bring back sensible limits for reflection tactic. core library #5263: Pull request #1002 opened by bollu
February 7, 2025 09:01 11m 39s limits-bv-automata
limits-bv-automata
February 7, 2025 09:01 11m 39s
feat: changes made to evaluation runner of width-generic tactics core library #5262: Pull request #1001 opened by bollu
February 7, 2025 08:57 1m 3s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 08:57 1m 3s
chore: update nightly-testing-2025-02-06 (#1000) core library #5261: Commit abff195 pushed by github-merge-queue bot
February 6, 2025 17:54 50m 18s main
main
February 6, 2025 17:54 50m 18s
core library core library #5260: Merge group checks requested
February 6, 2025 17:02 51m 48s
February 6, 2025 17:02 51m 48s
chore: update nightly-testing-2025-02-06 core library #5259: Pull request #1000 opened by luisacicolini
February 6, 2025 16:11 50m 40s update-mathlib-feb-06
update-mathlib-feb-06
February 6, 2025 16:11 50m 40s
feat: add fragment checks (#999) core library #5258: Commit cd10d72 pushed by github-merge-queue bot
February 6, 2025 15:03 19m 36s main
main
February 6, 2025 15:03 19m 36s
core library core library #5257: Merge group checks requested
February 6, 2025 14:43 19m 36s
February 6, 2025 14:43 19m 36s
feat: add fragment checks core library #5256: Pull request #999 synchronize by bollu
February 6, 2025 12:30 19m 45s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 12:30 19m 45s
feat: add fragment checks core library #5255: Pull request #999 synchronize by bollu
February 6, 2025 11:39 19m 37s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 11:39 19m 37s
feat: add fragment checks core library #5254: Pull request #999 synchronize by bollu
February 6, 2025 09:57 20m 6s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 09:57 20m 6s
feat: add fragment checks core library #5253: Pull request #999 opened by bollu
February 6, 2025 08:10 11m 52s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 08:10 11m 52s
chore: update nightly-testing-2025-02-04 (#998) core library #5252: Commit 859715d pushed by github-merge-queue bot
February 5, 2025 20:08 50m 14s main
main
February 5, 2025 20:08 50m 14s
core library core library #5251: Merge group checks requested
February 5, 2025 19:17 50m 20s
February 5, 2025 19:17 50m 20s
feat: benchmark automata tactics using the benchmarking setup for the… core library #5250: Commit b533069 pushed by github-merge-queue bot
February 5, 2025 18:17 19m 7s main
main
February 5, 2025 18:17 19m 7s
core library core library #5249: Merge group checks requested
February 5, 2025 17:57 19m 53s
February 5, 2025 17:57 19m 53s