Skip to content

Actions: fraware/open-verification-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
442 workflow runs
442 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
Native Backends Tier 2 Native Backends Tier 2 #1: Scheduled
1m 16s main
main
1m 16s
Pilot Dogfood Pilot Dogfood #1: Scheduled
28s main
main
28s
External Validation Matrix External Validation Matrix #1: Scheduled
32s main
main
32s
Run pytest with fail-fast verbose output in CI. Bench Badge #21: Commit ce8cf51 pushed by fraware
18s main
main
18s
Run pytest with fail-fast verbose output in CI. CI #400: Commit ce8cf51 pushed by fraware
24s main
main
24s
Gate Z3 integration tests to tier-1 CI and simplify pytest step. CI #399: Commit c5d84de pushed by fraware
27s main
main
27s
Gate Z3 integration tests to tier-1 CI and simplify pytest step. Bench Badge #20: Commit c5d84de pushed by fraware
27s main
main
27s
Gate Z3 integration tests to tier-1 CI and simplify pytest step. Native Backends Tier 1 #10: Commit c5d84de pushed by fraware
37s main
main
37s
Gate optional native integration tests to tier-1 CI jobs. Bench Badge #19: Commit 5cdf0ae pushed by fraware
19s main
main
19s
Gate optional native integration tests to tier-1 CI jobs. CI #398: Commit 5cdf0ae pushed by fraware
29s main
main
29s
Gate optional native integration tests to tier-1 CI jobs. Native Backends Tier 1b #8: Commit 5cdf0ae pushed by fraware
2m 16s main
main
2m 16s
Gate optional native integration tests to tier-1 CI jobs. Native Backends Tier 1 #9: Commit 5cdf0ae pushed by fraware
44s main
main
44s
Skip native backend probes in main CI; run only in tier-1 workflow. Native Backends Tier 1 #8: Commit f9b0e30 pushed by fraware
37s main
main
37s
Skip native backend probes in main CI; run only in tier-1 workflow. Native Backends Tier 1b #7: Commit f9b0e30 pushed by fraware
2m 1s main
main
2m 1s
Skip native backend probes in main CI; run only in tier-1 workflow. Bench Badge #18: Commit f9b0e30 pushed by fraware
17s main
main
17s
Skip native backend probes in main CI; run only in tier-1 workflow. CI #397: Commit f9b0e30 pushed by fraware
26s main
main
26s
Improve CI pytest reporting and pin pytest version. Bench Badge #17: Commit 50534e1 pushed by fraware
22s main
main
22s
Improve CI pytest reporting and pin pytest version. CI #396: Commit 50534e1 pushed by fraware
33s main
main
33s
Sync package data before CI install. Bench Badge #16: Commit f2f317c pushed by fraware
20s main
main
20s
Sync package data before CI install. CI #395: Commit f2f317c pushed by fraware
29s main
main
29s
Fix CI lint and strict action dogfood; add PyPI install fallback. Bench Badge #15: Commit 1f63820 pushed by fraware
24s main
main
24s
Fix CI lint and strict action dogfood; add PyPI install fallback. Native Backends Tier 1 #7: Commit 1f63820 pushed by fraware
39s main
main
39s
Fix CI lint and strict action dogfood; add PyPI install fallback. CI #394: Commit 1f63820 pushed by fraware
25s main
main
25s
Fix CI lint and strict action dogfood; add PyPI install fallback. Native Backends Tier 1b #6: Commit 1f63820 pushed by fraware
2m 5s main
main
2m 5s
Close RC gaps with schema coverage, pilot metrics, and CBMC harness. Bench Badge #14: Commit 4f5f118 pushed by fraware
16s main
main
16s