Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,225 workflow runs
2,225 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.37.0 CI #918: Pull request #412 opened by avrabe
1h 0m 14s release/v0.37.0
release/v0.37.0
1h 0m 14s
chore(release): v0.37.0 Lean Proofs #584: Pull request #412 opened by avrabe
2m 48s release/v0.37.0
release/v0.37.0
2m 48s
chore(release): v0.37.0 Verification Gate #261: Pull request #412 opened by avrabe
11m 36s release/v0.37.0
release/v0.37.0
11m 36s
feat(guard): require a bounded timeout-minutes on every required-cont… CI #917: Commit df4a64f pushed by avrabe
1h 1m 21s main
main
1h 1m 21s
feat(guard): require a bounded timeout-minutes on every required-cont… Lean Proofs #583: Commit df4a64f pushed by avrabe
2m 40s main
main
2m 40s
feat(guard): require a bounded timeout-minutes on every required-context job (#398) CI #916: Pull request #411 opened by avrabe
41m 26s feat/required-context-timeouts-398
feat/required-context-timeouts-398
41m 26s
feat(guard): require a bounded timeout-minutes on every required-context job (#398) Verification Gate #260: Pull request #411 opened by avrabe
9m 44s feat/required-context-timeouts-398
feat/required-context-timeouts-398
9m 44s
feat(guard): require a bounded timeout-minutes on every required-context job (#398) Lean Proofs #582: Pull request #411 opened by avrabe
2m 58s feat/required-context-timeouts-398
feat/required-context-timeouts-398
2m 58s
chore(release): v0.36.0 (#410) CI #915: Commit 686a23a pushed by avrabe
42m 31s main
main
42m 31s
chore(release): v0.36.0 (#410) Lean Proofs #581: Commit 686a23a pushed by avrabe
2m 25s main
main
2m 25s
chore(release): v0.36.0 Verification Gate #259: Pull request #410 opened by avrabe
26m 41s release/v0.36.0
release/v0.36.0
26m 41s
chore(release): v0.36.0 CI #914: Pull request #410 opened by avrabe
4h 1m 18s release/v0.36.0
release/v0.36.0
4h 1m 18s
chore(release): v0.36.0 Lean Proofs #580: Pull request #410 opened by avrabe
3m 39s release/v0.36.0
release/v0.36.0
3m 39s
feat(guard): audit the REQUIRED fuzz context's target list, not only … CI #913: Commit d68fed5 pushed by avrabe
2h 52m 41s main
main
2h 52m 41s
feat(guard): audit the REQUIRED fuzz context's target list, not only … Lean Proofs #579: Commit d68fed5 pushed by avrabe
3m 21s main
main
3m 21s
Bench Nightly Bench Nightly #105: Scheduled
6m 59s main
main
6m 59s
Fuzz (nightly) Fuzz (nightly) #108: Scheduled
1h 3m 58s main
main
1h 3m 58s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #100: Scheduled
13s main
main
13s
feat(guard): audit the REQUIRED fuzz context's target list, not only the advisory one (#406) Lean Proofs #578: Pull request #409 opened by avrabe
2m 53s feat/fuzz-smoke-audit-406
feat/fuzz-smoke-audit-406
2m 53s
feat(guard): audit the REQUIRED fuzz context's target list, not only the advisory one (#406) Verification Gate #258: Pull request #409 opened by avrabe
7m 26s feat/fuzz-smoke-audit-406
feat/fuzz-smoke-audit-406
7m 26s
feat(guard): audit the REQUIRED fuzz context's target list, not only the advisory one (#406) CI #912: Pull request #409 opened by avrabe
39m 57s feat/fuzz-smoke-audit-406
feat/fuzz-smoke-audit-406
39m 57s
Merge pull request #408 from pulseengine/fix/gate-evidence-batch2 CI #911: Commit c28c2cc pushed by avrabe
58m 53s main
main
58m 53s
Merge pull request #408 from pulseengine/fix/gate-evidence-batch2 Lean Proofs #577: Commit c28c2cc pushed by avrabe
19m 57s main
main
19m 57s
fix(guard): close the two live holes in obligations (c) and (f) Verification Gate #257: Pull request #408 synchronize by avrabe
10m 6s fix/gate-evidence-batch2
fix/gate-evidence-batch2
10m 6s
fix(guard): close the two live holes in obligations (c) and (f) CI #910: Pull request #408 synchronize by avrabe
49m 19s fix/gate-evidence-batch2
fix/gate-evidence-batch2
49m 19s