Skip to content

Actions: opencompl/veir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(PBV): Generate better error messages from bv_decide CI #5662: Pull request #1533 synchronize by luigirinaldi
51s luigirinaldi/bpbv-better-debug
luigirinaldi/bpbv-better-debug
51s
feat(PBV): Generate better error messages from bv_decide Lean Action CI (Namespace) #2233: Pull request #1533 synchronize by luigirinaldi
47s luigirinaldi/bpbv-better-debug
luigirinaldi/bpbv-better-debug
47s
feat(PBV): Generate better error messages from bv_decide Lean Action CI #14248: Pull request #1533 synchronize by luigirinaldi
24m 19s luigirinaldi/bpbv-better-debug
luigirinaldi/bpbv-better-debug
24m 19s
feat(PBV): Run bv_decide automatically (#1532) Lean Action CI #14247: Commit 6891a92 pushed by github-merge-queue Bot
16m 57s main
main
16m 57s
feat(PBV): Run bv_decide automatically (#1532) CI #5661: Commit 6891a92 pushed by github-merge-queue Bot
44s main
main
44s
feat(PBV): Run bv_decide automatically (#1532) Lean Action CI (Namespace) #2232: Commit 6891a92 pushed by github-merge-queue Bot
39s main
main
39s
Lean Action CI (Namespace) Lean Action CI (Namespace) #2231: Merge group checks requested
48s
48s
Lean Action CI Lean Action CI #14246: Merge group checks requested
25m 51s
25m 51s
Nightly veir-tests Nightly veir-tests #169: Scheduled
7m 55s main
main
7m 55s
chore(ir): Improve compile-time of LinkedList.WellFormed.lean Lean Action CI (Namespace) #2230: Pull request #1563 opened by math-fehr
6m 40s math-fehr/linkedlist-wf-grind
math-fehr/linkedlist-wf-grind
6m 40s
chore(ir): Improve compile-time of LinkedList.WellFormed.lean Lean Action CI #14245: Pull request #1563 opened by math-fehr
22m 34s math-fehr/linkedlist-wf-grind
math-fehr/linkedlist-wf-grind
22m 34s
chore(ir): Improve compile-time of LinkedList.WellFormed.lean CI #5660: Pull request #1563 opened by math-fehr
39s math-fehr/linkedlist-wf-grind
math-fehr/linkedlist-wf-grind
39s
chore(ir): cleanup grind patterns of well-formed definitions CI #5659: Pull request #1562 opened by math-fehr
45s math-fehr/wf-grind-improvements
math-fehr/wf-grind-improvements
45s
chore(ir): cleanup grind patterns of well-formed definitions Lean Action CI (Namespace) #2229: Pull request #1562 opened by math-fehr
3m 39s math-fehr/wf-grind-improvements
math-fehr/wf-grind-improvements
3m 39s
chore(ir): cleanup grind patterns of well-formed definitions Lean Action CI #14244: Pull request #1562 opened by math-fehr
24m 30s math-fehr/wf-grind-improvements
math-fehr/wf-grind-improvements
24m 30s
feat: proofs for constant folding tables CI #5658: Pull request #1441 synchronize by regehr
46s regehr/fold-table-proofs
regehr/fold-table-proofs
46s
feat: proofs for constant folding tables Lean Action CI #14243: Pull request #1441 synchronize by regehr
20m 6s regehr/fold-table-proofs
regehr/fold-table-proofs
20m 6s
feat: proofs for constant folding tables Lean Action CI (Namespace) #2228: Pull request #1441 synchronize by regehr
1m 22s regehr/fold-table-proofs
regehr/fold-table-proofs
1m 22s
feat: proofs for constant folding tables Lean Action CI (Namespace) #2227: Pull request #1441 synchronize by regehr
4m 31s regehr/fold-table-proofs
regehr/fold-table-proofs
4m 31s
feat: proofs for constant folding tables Lean Action CI #14242: Pull request #1441 synchronize by regehr
7m 57s regehr/fold-table-proofs
regehr/fold-table-proofs
7m 57s
feat: proofs for constant folding tables CI #5657: Pull request #1441 synchronize by regehr
50s regehr/fold-table-proofs
regehr/fold-table-proofs
50s
feat: lower all truncates <=64 to risc-v Lean Action CI (Namespace) #2226: Pull request #1561 opened by regehr
1m 0s regehr/riscv-trunc
regehr/riscv-trunc
1m 0s
feat: lower all truncates <=64 to risc-v CI #5656: Pull request #1561 opened by regehr
36s regehr/riscv-trunc
regehr/riscv-trunc
36s
feat: lower all truncates <=64 to risc-v Lean Action CI #14241: Pull request #1561 opened by regehr
24m 7s regehr/riscv-trunc
regehr/riscv-trunc
24m 7s
feat(isel): lower llvm.trunc at every width up to 64 CI #5655: Pull request #1560 opened by regehr
41s regehr/riscv-trunc
regehr/riscv-trunc
41s