Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,574 workflow runs
1,574 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 #65: Scheduled
6m 46s main
main
6m 46s
Fuzz (nightly) Fuzz (nightly) #66: Scheduled
1h 3m 38s main
main
1h 3m 38s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #38: Scheduled
13s main
main
13s
Bench Nightly Bench Nightly #64: Scheduled
7m 18s main
main
7m 18s
Fuzz (nightly) Fuzz (nightly) #65: Scheduled
1h 3m 26s main
main
1h 3m 26s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #37: Scheduled
13s main
main
13s
Mutants Weekly Mutants Weekly #24: Scheduled
23m 28s main
main
23m 28s
feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH… Lean Proofs #414: Commit 3fe75c9 pushed by avrabe
2m 8s main
main
2m 8s
feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH… CI #748: Commit 3fe75c9 pushed by avrabe
1h 1m 26s main
main
1h 1m 26s
feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH-QBV-GUARDBAND-001) Verification Gate #147: Pull request #309 opened by avrabe
19m 16s feat/qbv-guardband
feat/qbv-guardband
19m 16s
feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH-QBV-GUARDBAND-001) Lean Proofs #413: Pull request #309 opened by avrabe
2m 10s feat/qbv-guardband
feat/qbv-guardband
2m 10s
feat(network): guard-band-aware 802.1Qbv GCL splitting (REQ-TSN-SYNTH-QBV-GUARDBAND-001) CI #747: Pull request #309 opened by avrabe
3h 8m 25s feat/qbv-guardband
feat/qbv-guardband
3h 8m 25s
Bench Nightly Bench Nightly #63: Scheduled
14m 8s main
main
14m 8s
Fuzz (nightly) Fuzz (nightly) #64: Scheduled
1h 3m 20s main
main
1h 3m 20s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #36: Scheduled
1m 54s main
main
1m 54s
feat(analysis): verify wrpc-binding Actual_Connection_Binding resolve… CI #746: Commit b7edf77 pushed by avrabe
1h 50m 59s main
main
1h 50m 59s
feat(analysis): verify wrpc-binding Actual_Connection_Binding resolve… Lean Proofs #412: Commit b7edf77 pushed by avrabe
17m 15s main
main
17m 15s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) CI #745: Pull request #308 synchronize by avrabe
1h 13m 24s feat/wrpc-binding-003
feat/wrpc-binding-003
1h 13m 24s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) Lean Proofs #411: Pull request #308 synchronize by avrabe
2m 24s feat/wrpc-binding-003
feat/wrpc-binding-003
2m 24s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) Verification Gate #146: Pull request #308 synchronize by avrabe
6m 31s feat/wrpc-binding-003
feat/wrpc-binding-003
6m 31s
feat(analysis): emit authoritative network-wide NC bound = min(PLP,TF… Lean Proofs #410: Commit 211f627 pushed by avrabe
2m 3s main
main
2m 3s
feat(analysis): emit authoritative network-wide NC bound = min(PLP,TF… CI #744: Commit 211f627 pushed by avrabe
1h 43m 47s main
main
1h 43m 47s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) Verification Gate #145: Pull request #308 synchronize by avrabe
10m 49s feat/wrpc-binding-003
feat/wrpc-binding-003
10m 49s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) Lean Proofs #409: Pull request #308 synchronize by avrabe
2m 49s feat/wrpc-binding-003
feat/wrpc-binding-003
2m 49s
feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003) CI #743: Pull request #308 synchronize by avrabe
2h 16m 25s feat/wrpc-binding-003
feat/wrpc-binding-003
2h 16m 25s