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): improve goal state for better error messages CI #5333: Pull request #1488 synchronize by luigirinaldi
44s luigirinaldi/bpbv-debug
luigirinaldi/bpbv-debug
44s
feat(PBV): improve goal state for better error messages Lean Action CI (Namespace) #1865: Pull request #1488 synchronize by luigirinaldi
1m 33s luigirinaldi/bpbv-debug
luigirinaldi/bpbv-debug
1m 33s
feat(PBV): improve goal state for better error messages Lean Action CI #13880: Pull request #1488 synchronize by luigirinaldi
In progress luigirinaldi/bpbv-debug
luigirinaldi/bpbv-debug
In progress
feat(PBV): Support Nat literals in width expressions (#1483) Lean Action CI (Namespace) #1864: Commit 9462999 pushed by github-merge-queue Bot
5m 37s main
main
5m 37s
feat(PBV): Support Nat literals in width expressions (#1483) Lean Action CI #13879: Commit 9462999 pushed by github-merge-queue Bot
17m 48s main
main
17m 48s
feat(PBV): Support Nat literals in width expressions (#1483) CI #5332: Commit 9462999 pushed by github-merge-queue Bot
1m 7s main
main
1m 7s
fix (PBV): Compute blast width using hypothesis (#1482) CI #5331: Commit fbf3cf2 pushed by github-merge-queue Bot
45s main
main
45s
fix (PBV): Compute blast width using hypothesis (#1482) Lean Action CI (Namespace) #1863: Commit fbf3cf2 pushed by github-merge-queue Bot
48s main
main
48s
fix (PBV): Compute blast width using hypothesis (#1482) Lean Action CI #13878: Commit fbf3cf2 pushed by github-merge-queue Bot
19m 2s main
main
19m 2s
Lean Action CI Lean Action CI #13877: Merge group checks requested
23m 8s
23m 8s
Lean Action CI (Namespace) Lean Action CI (Namespace) #1862: Merge group checks requested
5m 6s
5m 6s
Lean Action CI Lean Action CI #13876: Merge group checks requested
22m 51s
22m 51s
Lean Action CI (Namespace) Lean Action CI (Namespace) #1861: Merge group checks requested
4m 19s
4m 19s
feat(PBV): Support Nat literals in width expressions Lean Action CI (Namespace) #1860: Pull request #1483 synchronize by luigirinaldi
6m 27s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
6m 27s
feat(PBV): Support Nat literals in width expressions Lean Action CI #13875: Pull request #1483 synchronize by luigirinaldi
22m 49s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
22m 49s
feat(PBV): Support Nat literals in width expressions CI #5330: Pull request #1483 synchronize by luigirinaldi
31s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
31s
feat(PBV): Support Nat literals in width expressions Lean Action CI #13874: Pull request #1483 synchronize by luigirinaldi
23m 44s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
23m 44s
fix (PBV): Compute blast width using hypothesis Lean Action CI (Namespace) #1859: Pull request #1482 synchronize by luigirinaldi
4m 47s luigirinaldi/bpbv-fix-width-bound
luigirinaldi/bpbv-fix-width-bound
4m 47s
fix (PBV): Compute blast width using hypothesis Lean Action CI #13873: Pull request #1482 synchronize by luigirinaldi
21m 25s luigirinaldi/bpbv-fix-width-bound
luigirinaldi/bpbv-fix-width-bound
21m 25s
feat(PBV): Support Nat literals in width expressions Lean Action CI (Namespace) #1858: Pull request #1483 synchronize by luigirinaldi
51s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
51s
fix (PBV): Compute blast width using hypothesis CI #5329: Pull request #1482 synchronize by luigirinaldi
41s luigirinaldi/bpbv-fix-width-bound
luigirinaldi/bpbv-fix-width-bound
41s
feat(PBV): Support Nat literals in width expressions CI #5328: Pull request #1483 synchronize by luigirinaldi
48s luigirinaldi/bpbv-width-lit
luigirinaldi/bpbv-width-lit
48s
feat(nix): Provide packages as executables Lean Action CI #13872: Pull request #1519 synchronize by naveen-seth
22m 42s naveen-seth:nix-package-rework
naveen-seth:nix-package-rework
22m 42s
feat(nix): Provide packages as executables CI #5327: Pull request #1519 synchronize by naveen-seth
33s naveen-seth:nix-package-rework
naveen-seth:nix-package-rework
33s
feat(nix): Provide packages as executables Lean Action CI (Namespace) #1857: Pull request #1519 synchronize by naveen-seth
5m 34s naveen-seth:nix-package-rework
naveen-seth:nix-package-rework
5m 34s