Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
633 workflow runs
633 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
feat(moves): rivet variant integration in verify/enumerate (Track E commit 6/8) CI #368: Pull request #173 synchronize by avrabe
1h 20m 37s feat/v0.8.0-track-e-commit6-variants
feat/v0.8.0-track-e-commit6-variants
1h 20m 37s
feat(moves): rivet variant integration in verify/enumerate (Track E commit 6/8) .github/workflows/proofs.yml #32: Pull request #173 synchronize by avrabe
2m 5s feat/v0.8.0-track-e-commit6-variants
feat/v0.8.0-track-e-commit6-variants
2m 5s
chore(release): bump to v0.7.1 + add CHANGELOG CI #367: Pull request #172 synchronize by avrabe
1h 24m 53s chore/v0.7.1
chore/v0.7.1
1h 24m 53s
chore(release): bump to v0.7.1 + add CHANGELOG .github/workflows/proofs.yml #31: Pull request #172 synchronize by avrabe
2m 8s chore/v0.7.1
chore/v0.7.1
2m 8s
feat(moves): multi-objective enumeration ranking (Track E commit 5/8)… CI #366: Commit 4a881b7 pushed by avrabe
1h 31m 56s main
main
1h 31m 56s
feat(moves): multi-objective enumeration ranking (Track E commit 5/8)… .github/workflows/proofs.yml #30: Commit 4a881b7 pushed by avrabe
3m 59s main
main
3m 59s
Bench Nightly Bench Nightly #2: Scheduled
3h 35m 33s main
main
3h 35m 33s
Fuzz (nightly) Fuzz (nightly) #3: Scheduled
2h 9m 1s main
main
2h 9m 1s
feat(moves): multi-objective enumeration ranking (Track E commit 5/8) CI #365: Pull request #174 opened by avrabe
1h 45m 35s feat/v0.8.0-track-e-commit5-objectives
feat/v0.8.0-track-e-commit5-objectives
1h 45m 35s
feat(moves): multi-objective enumeration ranking (Track E commit 5/8) .github/workflows/proofs.yml #29: Pull request #174 opened by avrabe
14m 47s feat/v0.8.0-track-e-commit5-objectives
feat/v0.8.0-track-e-commit5-objectives
14m 47s
feat(moves): rivet variant integration in verify/enumerate (Track E commit 6/8) .github/workflows/proofs.yml #28: Pull request #173 opened by avrabe
7m 49s feat/v0.8.0-track-e-commit6-variants
feat/v0.8.0-track-e-commit6-variants
7m 49s
feat(moves): rivet variant integration in verify/enumerate (Track E commit 6/8) CI #364: Pull request #173 opened by avrabe
2h 3m 42s feat/v0.8.0-track-e-commit6-variants
feat/v0.8.0-track-e-commit6-variants
2h 3m 42s
chore(release): bump to v0.7.1 + add CHANGELOG CI #363: Pull request #172 opened by avrabe
2h 3m 57s chore/v0.7.1
chore/v0.7.1
2h 3m 57s
chore(release): bump to v0.7.1 + add CHANGELOG .github/workflows/proofs.yml #27: Pull request #172 opened by avrabe
4m 36s chore/v0.7.1
chore/v0.7.1
4m 36s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6)… CI #362: Commit a619fc1 pushed by avrabe
1h 36m 48s main
main
1h 36m 48s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6)… .github/workflows/proofs.yml #26: Commit a619fc1 pushed by avrabe
2m 35s main
main
2m 35s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6) CI #361: Pull request #169 synchronize by avrabe
1h 26m 40s feat/v0.8.0-track-d-commit5-lean-nc
feat/v0.8.0-track-d-commit5-lean-nc
1h 26m 40s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6) .github/workflows/proofs.yml #25: Pull request #169 synchronize by avrabe
2m 46s feat/v0.8.0-track-d-commit5-lean-nc
feat/v0.8.0-track-d-commit5-lean-nc
2m 46s
feat(latency): integrate WCTT bounds into end-to-end latency (Track D… .github/workflows/proofs.yml #24: Commit 6f640dd pushed by avrabe
7m 0s main
main
7m 0s
feat(latency): integrate WCTT bounds into end-to-end latency (Track D… CI #360: Commit 6f640dd pushed by avrabe
1h 36m 6s main
main
1h 36m 6s
feat(cli): spar moves enumerate — design-space exploration (Track E c… CI #359: Commit 5a055cd pushed by avrabe
1h 36m 39s main
main
1h 36m 39s
feat(cli): spar moves enumerate — design-space exploration (Track E c… .github/workflows/proofs.yml #23: Commit 5a055cd pushed by avrabe
16s main
main
16s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6) .github/workflows/proofs.yml #22: Pull request #169 synchronize by avrabe
1m 37s feat/v0.8.0-track-d-commit5-lean-nc
feat/v0.8.0-track-d-commit5-lean-nc
1m 37s
proofs(network): NC primitives min-plus theorems (Track D commit 5/6) CI #358: Pull request #169 synchronize by avrabe
1h 23m 50s feat/v0.8.0-track-d-commit5-lean-nc
feat/v0.8.0-track-d-commit5-lean-nc
1h 23m 50s
feat(latency): integrate WCTT bounds into end-to-end latency (Track D commit 6/6) .github/workflows/proofs.yml #21: Pull request #171 opened by avrabe
2m 17s feat/v0.8.0-track-d-commit6-latency-integration
feat/v0.8.0-track-d-commit6-latency-integration
2m 17s