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
3,474 workflow runs
3,474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add comb dialect tools, scaling, and auto-generated statements #3476: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 12m 13s comb-dialect
comb-dialect
February 7, 2025 15:33 12m 13s
Bv circuit automata eval analysis improvements (#1003) tools, scaling, and auto-generated statements #3475: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 12m 3s main
main
February 7, 2025 15:01 12m 3s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3474: Merge group checks requested
February 7, 2025 14:49 11m 56s
February 7, 2025 14:49 11m 56s
Bv circuit automata eval analysis improvements tools, scaling, and auto-generated statements #3473: Pull request #1003 opened by bollu
February 7, 2025 14:38 12m 5s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 12m 5s
feat: changes made to evaluation runner of width-generic tactics (#1001) tools, scaling, and auto-generated statements #3472: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 12m 26s main
main
February 7, 2025 10:48 12m 26s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3471: Merge group checks requested
February 7, 2025 10:37 12m 10s
February 7, 2025 10:37 12m 10s
feat: changes made to evaluation runner of width-generic tactics tools, scaling, and auto-generated statements #3470: Pull request #1001 synchronize by bollu
February 7, 2025 10:26 12m 17s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 10:26 12m 17s
feat: bring back sensible limits for reflection tactic. (#1002) tools, scaling, and auto-generated statements #3469: Commit 4e76df5 pushed by github-merge-queue bot
February 7, 2025 09:25 13m 14s main
main
February 7, 2025 09:25 13m 14s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3468: Merge group checks requested
February 7, 2025 09:13 12m 55s
February 7, 2025 09:13 12m 55s
feat: bring back sensible limits for reflection tactic. tools, scaling, and auto-generated statements #3467: Pull request #1002 synchronize by bollu
February 7, 2025 09:02 12m 46s limits-bv-automata
limits-bv-automata
February 7, 2025 09:02 12m 46s
feat: bring back sensible limits for reflection tactic. tools, scaling, and auto-generated statements #3466: Pull request #1002 opened by bollu
February 7, 2025 09:01 12m 43s limits-bv-automata
limits-bv-automata
February 7, 2025 09:01 12m 43s
feat: changes made to evaluation runner of width-generic tactics tools, scaling, and auto-generated statements #3465: Pull request #1001 opened by bollu
February 7, 2025 08:57 8m 49s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 08:57 8m 49s
chore: update nightly-testing-2025-02-06 (#1000) tools, scaling, and auto-generated statements #3464: Commit abff195 pushed by github-merge-queue bot
February 6, 2025 17:54 36m 45s main
main
February 6, 2025 17:54 36m 45s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3463: Merge group checks requested
February 6, 2025 17:02 36m 40s
February 6, 2025 17:02 36m 40s
chore: update nightly-testing-2025-02-06 tools, scaling, and auto-generated statements #3462: Pull request #1000 opened by luisacicolini
February 6, 2025 16:11 37m 53s update-mathlib-feb-06
update-mathlib-feb-06
February 6, 2025 16:11 37m 53s
feat: add fragment checks (#999) tools, scaling, and auto-generated statements #3461: Commit cd10d72 pushed by github-merge-queue bot
February 6, 2025 15:03 17m 18s main
main
February 6, 2025 15:03 17m 18s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3460: Merge group checks requested
February 6, 2025 14:43 16m 59s
February 6, 2025 14:43 16m 59s
feat: add fragment checks tools, scaling, and auto-generated statements #3459: Pull request #999 synchronize by bollu
February 6, 2025 12:30 17m 18s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 12:30 17m 18s
feat: add fragment checks tools, scaling, and auto-generated statements #3458: Pull request #999 synchronize by bollu
February 6, 2025 11:39 17m 1s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 11:39 17m 1s
feat: add fragment checks tools, scaling, and auto-generated statements #3457: Pull request #999 synchronize by bollu
February 6, 2025 09:57 17m 2s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 09:57 17m 2s
feat: add fragment checks tools, scaling, and auto-generated statements #3456: Pull request #999 opened by bollu
February 6, 2025 08:10 12m 20s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 08:10 12m 20s
chore: update nightly-testing-2025-02-04 (#998) tools, scaling, and auto-generated statements #3455: Commit 859715d pushed by github-merge-queue bot
February 5, 2025 20:08 35m 22s main
main
February 5, 2025 20:08 35m 22s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3454: Merge group checks requested
February 5, 2025 19:17 36m 54s
February 5, 2025 19:17 36m 54s
feat: benchmark automata tactics using the benchmarking setup for the… tools, scaling, and auto-generated statements #3453: Commit b533069 pushed by github-merge-queue bot
February 5, 2025 18:17 16m 32s main
main
February 5, 2025 18:17 16m 32s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3452: Merge group checks requested
February 5, 2025 17:57 17m 2s
February 5, 2025 17:57 17m 2s