Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,527 workflow runs
1,527 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
Bench Nightly Bench Nightly #61: Scheduled
5m 38s main
main
5m 38s
Fuzz (nightly) Fuzz (nightly) #62: Scheduled
1h 5m 13s main
main
1h 5m 13s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #34: Scheduled
13s main
main
13s
Bench Nightly Bench Nightly #60: Scheduled
10m 21s main
main
10m 21s
Fuzz (nightly) Fuzz (nightly) #61: Scheduled
1h 24m 35s main
main
1h 24m 35s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #33: Scheduled
13s main
main
13s
chore(planning): record TAS-composition soundness NO-GO + simulator-f… Lean Proofs #401: Commit a746263 pushed by avrabe
2m 5s main
main
2m 5s
chore(planning): record TAS-composition soundness NO-GO + simulator-f… CI #735: Commit a746263 pushed by avrabe
35m 45s main
main
35m 45s
chore(planning): record TAS-composition soundness NO-GO + simulator-floor gate (#141) CI #734: Pull request #304 opened by avrabe
35m 12s chore/nc-tas-compose-nogo
chore/nc-tas-compose-nogo
35m 12s
chore(planning): record TAS-composition soundness NO-GO + simulator-floor gate (#141) Lean Proofs #400: Pull request #304 opened by avrabe
2m 2s chore/nc-tas-compose-nogo
chore/nc-tas-compose-nogo
2m 2s
chore(planning): record TAS-composition soundness NO-GO + simulator-floor gate (#141) Verification Gate #139: Pull request #304 opened by avrabe
6m 7s chore/nc-tas-compose-nogo
chore/nc-tas-compose-nogo
6m 7s
chore(release): bump to v0.21.0 (#303) Release #47: Commit 467edce pushed by avrabe
7m 22s v0.21.0
v0.21.0
7m 22s
chore(release): bump to v0.21.0 (#303) Mutants Weekly #23: Commit 467edce pushed by avrabe
19m 26s v0.21.0
v0.21.0
19m 26s
chore(release): bump to v0.21.0 (#303) CI #733: Commit 467edce pushed by avrabe
36m 51s main
main
36m 51s
chore(release): bump to v0.21.0 (#303) Lean Proofs #399: Commit 467edce pushed by avrabe
2m 52s main
main
2m 52s
chore(release): bump to v0.21.0 CI #732: Pull request #303 opened by avrabe
40m 25s chore/v0.21.0-release
chore/v0.21.0-release
40m 25s
chore(release): bump to v0.21.0 Lean Proofs #398: Pull request #303 opened by avrabe
2m 50s chore/v0.21.0-release
chore/v0.21.0-release
2m 50s
chore(release): bump to v0.21.0 Verification Gate #138: Pull request #303 opened by avrabe
11m 18s chore/v0.21.0-release
chore/v0.21.0-release
11m 18s
feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-… Lean Proofs #397: Commit 2c82305 pushed by avrabe
2m 35s main
main
2m 35s
feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-… CI #731: Commit 2c82305 pushed by avrabe
37m 58s main
main
37m 58s
feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-TSN-SYNTH-QBV-SPLIT-BASE-001) Verification Gate #137: Pull request #302 opened by avrabe
5m 42s feat/qbv-001-window-splitting
feat/qbv-001-window-splitting
5m 42s
feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-TSN-SYNTH-QBV-SPLIT-BASE-001) CI #730: Pull request #302 opened by avrabe
50m 20s feat/qbv-001-window-splitting
feat/qbv-001-window-splitting
50m 20s
feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-TSN-SYNTH-QBV-SPLIT-BASE-001) Lean Proofs #396: Pull request #302 opened by avrabe
2m 5s feat/qbv-001-window-splitting
feat/qbv-001-window-splitting
2m 5s
chore(planning): re-scope REQ-EMV2-PROPAGATION-002 after investigatio… CI #729: Commit 8c039d2 pushed by avrabe
41m 28s main
main
41m 28s
chore(planning): re-scope REQ-EMV2-PROPAGATION-002 after investigatio… Lean Proofs #395: Commit 8c039d2 pushed by avrabe
2m 6s main
main
2m 6s