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: 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. Evaluation #216: Pull request #1002 synchronize by bollu
February 7, 2025 09:02 3h 10m 41s limits-bv-automata
limits-bv-automata
February 7, 2025 09:02 3h 10m 41s
feat: bring back sensible limits for reflection tactic. Evaluation #215: Pull request #1002 opened by bollu
February 7, 2025 09:01 27s limits-bv-automata
limits-bv-automata
February 7, 2025 09:01 27s
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: 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 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
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
feat: changes made to evaluation runner of width-generic tactics Evaluation #214: Pull request #1001 opened by bollu
February 7, 2025 08:57 1h 29m 13s bv-circuit-automata-glcloud-eval-improvements
bv-circuit-automata-glcloud-eval-improvements
February 7, 2025 08:57 1h 29m 13s
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
chore: update nightly-testing-2025-02-06 (#1000) Evaluation #213: Commit abff195 pushed by github-merge-queue bot
February 6, 2025 17:54 2h 34m 30s main
main
February 6, 2025 17:54 2h 34m 30s
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
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
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
chore: update nightly-testing-2025-02-06 Evaluation #212: Pull request #1000 opened by luisacicolini
February 6, 2025 16:11 2h 29m 7s update-mathlib-feb-06
update-mathlib-feb-06
February 6, 2025 16:11 2h 29m 7s
feat: add fragment checks (#999) Evaluation #211: Commit cd10d72 pushed by github-merge-queue bot
February 6, 2025 15:03 1h 47m 27s main
main
February 6, 2025 15:03 1h 47m 27s
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
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
core library core library #5257: Merge group checks requested
February 6, 2025 14:43 19m 36s
February 6, 2025 14:43 19m 36s
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 Evaluation #210: Pull request #999 synchronize by bollu
February 6, 2025 12:30 1h 50m 32s bv-circuit-automata-fragment-checkers
bv-circuit-automata-fragment-checkers
February 6, 2025 12:30 1h 50m 32s
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