Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
737 workflow runs
737 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 #18: Scheduled
6m 25s main
main
6m 25s
Fuzz (nightly) Fuzz (nightly) #19: Scheduled
1h 3m 20s main
main
1h 3m 20s
fix(hir-def): nested binding path resolution (3+ level reference) (#214) CI #498: Commit cf2546a pushed by avrabe
37m 56s main
main
37m 56s
fix(hir-def): nested binding path resolution (3+ level reference) (#214) Lean Proofs #164: Commit cf2546a pushed by avrabe
2m 18s main
main
2m 18s
fix(classifier-match): allow same-direction delegation bus access connections (AADL v2.3 §9.4) CI #497: Pull request #216 synchronize by avrabe
1h 26m 27s fix/v0.9.x-classifier-match-delegation
fix/v0.9.x-classifier-match-delegation
1h 26m 27s
fix(classifier-match): allow same-direction delegation bus access connections (AADL v2.3 §9.4) Lean Proofs #163: Pull request #216 synchronize by avrabe
3m 58s fix/v0.9.x-classifier-match-delegation
fix/v0.9.x-classifier-match-delegation
3m 58s
fix(hir-def): nested binding path resolution (3+ level reference) Lean Proofs #162: Pull request #214 synchronize by avrabe
2m 12s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
2m 12s
fix(hir-def): nested binding path resolution (3+ level reference) CI #496: Pull request #214 synchronize by avrabe
1h 24m 27s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
1h 24m 27s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) (#212) Lean Proofs #161: Commit 4733d5d pushed by avrabe
2m 22s main
main
2m 22s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) (#212) CI #495: Commit 4733d5d pushed by avrabe
5h 1m 46s main
main
5h 1m 46s
fix(classifier-match): allow same-direction delegation bus access connections (AADL v2.3 §9.4) Lean Proofs #160: Pull request #216 opened by avrabe
2m 13s fix/v0.9.x-classifier-match-delegation
fix/v0.9.x-classifier-match-delegation
2m 13s
fix(classifier-match): allow same-direction delegation bus access connections (AADL v2.3 §9.4) CI #494: Pull request #216 opened by avrabe
6h 27m 2s fix/v0.9.x-classifier-match-delegation
fix/v0.9.x-classifier-match-delegation
6h 27m 2s
fix(hir-def): nested binding path resolution (3+ level reference) CI #493: Pull request #214 synchronize by avrabe
5h 37m 48s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
5h 37m 48s
fix(hir-def): nested binding path resolution (3+ level reference) Lean Proofs #159: Pull request #214 synchronize by avrabe
2m 41s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
2m 41s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) Lean Proofs #158: Pull request #212 synchronize by avrabe
3m 23s feat/v0.10.x-b4-qcc-yang-ingest
feat/v0.10.x-b4-qcc-yang-ingest
3m 23s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) CI #492: Pull request #212 synchronize by avrabe
3h 36m 47s feat/v0.10.x-b4-qcc-yang-ingest
feat/v0.10.x-b4-qcc-yang-ingest
3h 36m 47s
docs: DSLTrans cutoff analysis + Forge protocol + v0.9.x milestone dr… Lean Proofs #157: Commit 05e8f0f pushed by avrabe
4h 0m 16s main
main
4h 0m 16s
docs: DSLTrans cutoff analysis + Forge protocol + v0.9.x milestone dr… CI #491: Commit 05e8f0f pushed by avrabe
11h 57m 19s main
main
11h 57m 19s
Bench Nightly Bench Nightly #17: Scheduled
4h 1m 39s main
main
4h 1m 39s
Fuzz (nightly) Fuzz (nightly) #18: Scheduled
5h 9m 9s main
main
5h 9m 9s
fix(hir-def): nested binding path resolution (3+ level reference) CI #490: Pull request #214 synchronize by avrabe
8h 10m 4s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
8h 10m 4s
fix(hir-def): nested binding path resolution (3+ level reference) Lean Proofs #156: Pull request #214 synchronize by avrabe
4m 14s fix/v0.9.x-nested-binding-path-resolution
fix/v0.9.x-nested-binding-path-resolution
4m 14s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) CI #489: Pull request #212 synchronize by avrabe
7h 23m 38s feat/v0.10.x-b4-qcc-yang-ingest
feat/v0.10.x-b4-qcc-yang-ingest
7h 23m 38s
feat(trace-topology): Qcc YANG SwitchConfigSource (v0.10.x B-4) Lean Proofs #155: Pull request #212 synchronize by avrabe
2m 21s feat/v0.10.x-b4-qcc-yang-ingest
feat/v0.10.x-b4-qcc-yang-ingest
2m 21s
docs: DSLTrans cutoff analysis + Forge protocol + v0.9.x milestone draft Lean Proofs #154: Pull request #215 synchronize by avrabe
3m 9s docs/v0.9.x-milestone-dsltrans-forge
docs/v0.9.x-milestone-dsltrans-forge
3m 9s