Skip to content

Actions: pulseengine/ordeal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
926 workflow runs
926 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
chore(release): v0.26.0 — every query is lowered through proven code … Release #32: Commit 4bf1430 pushed by avrabe
5m 17s v0.26.0
v0.26.0
5m 17s
chore(release): v0.26.0 — every query is lowered through proven code … CI #381: Commit 4bf1430 pushed by avrabe
15m 45s main
main
15m 45s
chore(release): v0.26.0 — every query is lowered through proven code … Fuzz Smoke #207: Commit 4bf1430 pushed by avrabe
1m 58s main
main
1m 58s
chore(release): v0.26.0 — every query is lowered through proven code (#192 phase 3) Fuzz Smoke #206: Pull request #223 opened by avrabe
38m 43s release/v0.26.0
release/v0.26.0
38m 43s
chore(release): v0.26.0 — every query is lowered through proven code (#192 phase 3) CI #380: Pull request #223 opened by avrabe
1h 7m 19s release/v0.26.0
release/v0.26.0
1h 7m 19s
proof: #192 phase 3 — proven term-DAG encoder and folding/hashing pas… Fuzz Smoke #205: Commit 3b2e790 pushed by avrabe
28m 34s main
main
28m 34s
proof: #192 phase 3 — proven term-DAG encoder and folding/hashing pas… CI #379: Commit 3b2e790 pushed by avrabe
1h 9m 48s main
main
1h 9m 48s
proof: #192 phase 3 — proven term-DAG encoder and folding/hashing pass; the solver runs them (TR-061) Fuzz Smoke #204: Pull request #222 opened by avrabe
39m 36s proof/192-phase3
proof/192-phase3
39m 36s
proof: #192 phase 3 — proven term-DAG encoder and folding/hashing pass; the solver runs them (TR-061) Kani proofs #107: Pull request #222 opened by avrabe
1h 34m 39s proof/192-phase3
proof/192-phase3
1h 34m 39s
proof: #192 phase 3 — proven term-DAG encoder and folding/hashing pass; the solver runs them (TR-061) CI #378: Pull request #222 opened by avrabe
1h 14m 50s proof/192-phase3
proof/192-phase3
1h 14m 50s
chore(release): v0.25.0 — the solver runs the Lean-proven blast rules… Release #31: Commit 65aa715 pushed by avrabe
5m 10s v0.25.0
v0.25.0
5m 10s
chore(release): v0.25.0 — the solver runs the Lean-proven blast rules… CI #377: Commit 65aa715 pushed by avrabe
8m 18s main
main
8m 18s
chore(release): v0.25.0 — the solver runs the Lean-proven blast rules… Fuzz Smoke #203: Commit 65aa715 pushed by avrabe
1m 54s main
main
1m 54s
chore(release): v0.25.0 — the solver runs the Lean-proven blast rules; Tseitin proven (#192 phases 1-2) CI #376: Pull request #221 opened by avrabe
11m 56s release/v0.25.0
release/v0.25.0
11m 56s
chore(release): v0.25.0 — the solver runs the Lean-proven blast rules; Tseitin proven (#192 phases 1-2) Fuzz Smoke #202: Pull request #221 opened by avrabe
2m 13s release/v0.25.0
release/v0.25.0
2m 13s
ci(kani): pin Kani 0.68.0 in every tier; record the accepted add_64/s… CI #375: Commit 20ed242 pushed by avrabe
10m 16s main
main
10m 16s
ci(kani): pin Kani 0.68.0 in every tier; record the accepted add_64/sub_64 gap (#169) Kani proofs #106: Pull request #220 opened by avrabe
44m 38s kani/pin-version-accept-64-169
kani/pin-version-accept-64-169
44m 38s
ci(kani): pin Kani 0.68.0 in every tier; record the accepted add_64/sub_64 gap (#169) CI #374: Pull request #220 opened by avrabe
25m 24s kani/pin-version-accept-64-169
kani/pin-version-accept-64-169
25m 24s
Kani proofs Kani proofs #105: Scheduled
2h 29m 5s main
main
2h 29m 5s
Nightly exhaustive Nightly exhaustive #1: Scheduled
1h 4m 32s main
main
1h 4m 32s
proof: #192 phase 2 — the solver runs the Lean-proven blast rules; du… Fuzz Smoke #201: Commit 7f9baa6 pushed by avrabe
1m 50s main
main
1m 50s
proof: #192 phase 2 — the solver runs the Lean-proven blast rules; du… CI #373: Commit 7f9baa6 pushed by avrabe
9m 48s main
main
9m 48s
proof: #192 phase 2 — the solver runs the Lean-proven blast rules; duplicate rule bodies deleted (TR-060) Kani proofs #104: Pull request #219 opened by avrabe
1h 14m 15s proof/192-phase2
proof/192-phase2
1h 14m 15s
proof: #192 phase 2 — the solver runs the Lean-proven blast rules; duplicate rule bodies deleted (TR-060) CI #372: Pull request #219 opened by avrabe
1h 13m 17s proof/192-phase2
proof/192-phase2
1h 13m 17s
proof: #192 phase 2 — the solver runs the Lean-proven blast rules; duplicate rule bodies deleted (TR-060) Fuzz Smoke #200: Pull request #219 opened by avrabe
39m 50s proof/192-phase2
proof/192-phase2
39m 50s