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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3505: Pull request #1007 synchronize by ineol
February 20, 2025 16:25 23m 4s nighlty-2025-02-17
nighlty-2025-02-17
February 20, 2025 16:25 23m 4s
chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3504: Pull request #1007 synchronize by bollu
February 20, 2025 13:18 16m 33s nighlty-2025-02-17
nighlty-2025-02-17
February 20, 2025 13:18 16m 33s
feat: investigate counterexamples tools, scaling, and auto-generated statements #3503: Pull request #1008 synchronize by luisacicolini
February 20, 2025 13:09 9m 53s increase-exponentiation
increase-exponentiation
February 20, 2025 13:09 9m 53s
chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3502: Pull request #1007 synchronize by bollu
February 20, 2025 13:03 12m 9s nighlty-2025-02-17
nighlty-2025-02-17
February 20, 2025 13:03 12m 9s
feat: investigate counterexamples tools, scaling, and auto-generated statements #3501: Pull request #1008 synchronize by luisacicolini
February 20, 2025 12:26 9m 27s increase-exponentiation
increase-exponentiation
February 20, 2025 12:26 9m 27s
feat: investigate counterexamples tools, scaling, and auto-generated statements #3500: Pull request #1008 opened by luisacicolini
February 20, 2025 12:20 9m 33s increase-exponentiation
increase-exponentiation
February 20, 2025 12:20 9m 33s
chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3499: Pull request #1007 synchronize by bollu
February 20, 2025 11:23 12m 9s nighlty-2025-02-17
nighlty-2025-02-17
February 20, 2025 11:23 12m 9s
feat: Dockerfile for bv-evaluation scripts tools, scaling, and auto-generated statements #3498: Pull request #898 synchronize by luisacicolini
February 19, 2025 16:17 9m 37s bv-evaluation-dockerfile
bv-evaluation-dockerfile
February 19, 2025 16:17 9m 37s
chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3497: Pull request #1007 synchronize by ineol
February 19, 2025 13:00 12m 1s nighlty-2025-02-17
nighlty-2025-02-17
February 19, 2025 13:00 12m 1s
chore: update nighlty-update-2025-02-17 tools, scaling, and auto-generated statements #3496: Pull request #1007 opened by luisacicolini
February 18, 2025 10:18 6m 52s nighlty-2025-02-17
nighlty-2025-02-17
February 18, 2025 10:18 6m 52s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3495: Pull request #1005 synchronize by bollu
February 17, 2025 15:41 1m 54s new-k-induction-proof
new-k-induction-proof
February 17, 2025 15:41 1m 54s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3494: Pull request #1005 synchronize by bollu
February 17, 2025 12:26 1m 36s new-k-induction-proof
new-k-induction-proof
February 17, 2025 12:26 1m 36s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3493: Pull request #1005 synchronize by bollu
February 17, 2025 09:53 13m 11s new-k-induction-proof
new-k-induction-proof
February 17, 2025 09:53 13m 11s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3492: Pull request #1005 synchronize by bollu
February 17, 2025 09:20 1m 38s new-k-induction-proof
new-k-induction-proof
February 17, 2025 09:20 1m 38s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3491: Pull request #1005 synchronize by bollu
February 17, 2025 09:06 13m 16s new-k-induction-proof
new-k-induction-proof
February 17, 2025 09:06 13m 16s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3490: Pull request #1005 synchronize by bollu
February 12, 2025 14:15 1m 35s new-k-induction-proof
new-k-induction-proof
February 12, 2025 14:15 1m 35s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3489: Pull request #1005 synchronize by bollu
February 12, 2025 13:46 13m 19s new-k-induction-proof
new-k-induction-proof
February 12, 2025 13:46 13m 19s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3488: Pull request #1005 synchronize by bollu
February 12, 2025 10:33 13m 22s new-k-induction-proof
new-k-induction-proof
February 12, 2025 10:33 13m 22s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3487: Pull request #1005 synchronize by bollu
February 11, 2025 09:55 13m 21s new-k-induction-proof
new-k-induction-proof
February 11, 2025 09:55 13m 21s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3486: Pull request #1005 synchronize by bollu
February 11, 2025 09:11 20m 21s new-k-induction-proof
new-k-induction-proof
February 11, 2025 09:11 20m 21s
chore: update nightly-testing-2025-02-10 (#1006) tools, scaling, and auto-generated statements #3485: Commit f554728 pushed by github-merge-queue bot
February 11, 2025 09:05 36m 21s main
main
February 11, 2025 09:05 36m 21s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3484: Merge group checks requested
February 11, 2025 08:13 36m 59s
February 11, 2025 08:13 36m 59s
chore: update nightly-testing-2025-02-10 tools, scaling, and auto-generated statements #3483: Pull request #1006 opened by luisacicolini
February 10, 2025 18:03 37m 27s nightly-update-feb-10
nightly-update-feb-10
February 10, 2025 18:03 37m 27s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3482: Pull request #1005 synchronize by bollu
February 10, 2025 15:03 36m 9s new-k-induction-proof
new-k-induction-proof
February 10, 2025 15:03 36m 9s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3481: Pull request #1005 synchronize by bollu
February 10, 2025 14:32 12m 37s new-k-induction-proof
new-k-induction-proof
February 10, 2025 14:32 12m 37s