Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,957 workflow runs
8,957 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add comb dialect Evaluation #222: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 4h 55m 6s comb-dialect
comb-dialect
February 7, 2025 15:33 4h 55m 6s
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
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
Bv circuit automata eval analysis improvements (#1003) Evaluation #221: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 3h 38m 58s main
main
February 7, 2025 15:01 3h 38m 58s
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
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 Evaluation #220: Pull request #1003 opened by bollu
February 7, 2025 14:38 2h 12m 44s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 2h 12m 44s
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
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
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
feat: changes made to evaluation runner of width-generic tactics (#1001) Evaluation #219: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 4h 13m 3s main
main
February 7, 2025 10:48 4h 13m 3s
core library core library #5268: Merge group checks requested
February 7, 2025 10:37 10m 47s
February 7, 2025 10:37 10m 47s
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: 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: changes made to evaluation runner of width-generic tactics Evaluation #218: Pull request #1001 synchronize by bollu
February 7, 2025 10:26 3h 35m 26s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 10:26 3h 35m 26s
feat: bring back sensible limits for reflection tactic. (#1002) Evaluation #217: Commit 4e76df5 pushed by github-merge-queue bot
February 7, 2025 09:25 1h 23m 10s main
main
February 7, 2025 09:25 1h 23m 10s
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
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
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