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

chore: update nightly-testing-2025-02-02 (#994) Evaluation #194: Commit 0c5a893 pushed by github-merge-queue bot
February 4, 2025 14:01 3h 8m 30s main
main
February 4, 2025 14:01 3h 8m 30s
core library core library #5237: Merge group checks requested
February 4, 2025 13:10 50m 5s
February 4, 2025 13:10 50m 5s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3440: Merge group checks requested
February 4, 2025 13:10 36m 20s
February 4, 2025 13:10 36m 20s
chore: update nightly-testing-2025-02-02 core library #5236: Pull request #994 synchronize by luisacicolini
February 4, 2025 12:20 50m 6s matlhib-feb-02
matlhib-feb-02
February 4, 2025 12:20 50m 6s
chore: update nightly-testing-2025-02-02 tools, scaling, and auto-generated statements #3439: Pull request #994 synchronize by luisacicolini
February 4, 2025 12:20 8m 40s matlhib-feb-02
matlhib-feb-02
February 4, 2025 12:20 8m 40s
chore: update nightly-testing-2025-02-02 Evaluation #193: Pull request #994 synchronize by luisacicolini
February 4, 2025 12:20 3h 5m 46s matlhib-feb-02
matlhib-feb-02
February 4, 2025 12:20 3h 5m 46s
chore: Instcombine tailor to automata tools, scaling, and auto-generated statements #3438: Pull request #996 synchronize by bollu
February 4, 2025 11:58 8m 49s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 11:58 8m 49s
chore: Instcombine tailor to automata Evaluation #192: Pull request #996 synchronize by bollu
February 4, 2025 11:58 1h 44m 0s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 11:58 1h 44m 0s
chore: Instcombine tailor to automata core library #5235: Pull request #996 synchronize by bollu
February 4, 2025 11:58 54s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 11:58 54s
chore: Instcombine tailor to automata core library #5234: Pull request #996 synchronize by bollu
February 4, 2025 09:58 56s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:58 56s
chore: Instcombine tailor to automata Evaluation #191: Pull request #996 synchronize by bollu
February 4, 2025 09:58 2h 0m 21s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:58 2h 0m 21s
chore: Instcombine tailor to automata tools, scaling, and auto-generated statements #3437: Pull request #996 synchronize by bollu
February 4, 2025 09:58 8m 42s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:58 8m 42s
chore: Instcombine tailor to automata core library #5233: Pull request #996 synchronize by bollu
February 4, 2025 09:43 59s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:43 59s
chore: Instcombine tailor to automata Evaluation #190: Pull request #996 synchronize by bollu
February 4, 2025 09:43 14m 34s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:43 14m 34s
chore: Instcombine tailor to automata tools, scaling, and auto-generated statements #3436: Pull request #996 synchronize by bollu
February 4, 2025 09:43 8m 38s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:43 8m 38s
chore: Instcombine tailor to automata core library #5232: Pull request #996 opened by bollu
February 4, 2025 09:42 1m 1s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:42 1m 1s
chore: Instcombine tailor to automata tools, scaling, and auto-generated statements #3435: Pull request #996 opened by bollu
February 4, 2025 09:42 8m 48s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:42 8m 48s
chore: Instcombine tailor to automata Evaluation #189: Pull request #996 opened by bollu
February 4, 2025 09:42 1m 5s instcombine-tailor-to-automata
instcombine-tailor-to-automata
February 4, 2025 09:42 1m 5s
feat: tac_bench with sqlite database support Evaluation #188: Pull request #995 opened by bollu
February 4, 2025 09:30 1h 43m 51s sqlite
sqlite
February 4, 2025 09:30 1h 43m 51s
feat: tac_bench with sqlite database support tools, scaling, and auto-generated statements #3434: Pull request #995 opened by bollu
February 4, 2025 09:30 9m 7s sqlite
sqlite
February 4, 2025 09:30 9m 7s
feat: tac_bench with sqlite database support core library #5231: Pull request #995 opened by bollu
February 4, 2025 09:30 1m 25s sqlite
sqlite
February 4, 2025 09:30 1m 25s
chore: update nightly-testing-2025-02-02 Evaluation #187: Pull request #994 opened by luisacicolini
February 3, 2025 10:40 1h 45m 41s matlhib-feb-02
matlhib-feb-02
February 3, 2025 10:40 1h 45m 41s
chore: update nightly-testing-2025-02-02 tools, scaling, and auto-generated statements #3433: Pull request #994 opened by luisacicolini
February 3, 2025 10:40 36m 5s matlhib-feb-02
matlhib-feb-02
February 3, 2025 10:40 36m 5s
chore: update nightly-testing-2025-02-02 core library #5230: Pull request #994 opened by luisacicolini
February 3, 2025 10:40 44m 57s matlhib-feb-02
matlhib-feb-02
February 3, 2025 10:40 44m 57s
chore: update to nightly-2025-02-01 (#993) tools, scaling, and auto-generated statements #3432: Commit 9cf22ff pushed by github-merge-queue bot
February 1, 2025 20:42 36m 31s main
main
February 1, 2025 20:42 36m 31s