Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,795 workflow runs
1,795 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 #85: Scheduled
7m 12s main
main
7m 12s
Fuzz (nightly) Fuzz (nightly) #86: Scheduled
1h 4m 18s main
main
1h 4m 18s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #58: Scheduled
13s main
main
13s
Mutants Weekly Mutants Weekly #34: Scheduled
24m 21s main
main
24m 21s
Bench Nightly Bench Nightly #84: Scheduled
7m 7s main
main
7m 7s
Fuzz (nightly) Fuzz (nightly) #85: Scheduled
1h 4m 1s main
main
1h 4m 1s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #57: Scheduled
11s main
main
11s
chore(release): bump to v0.28.0 (#331) (#333) Mutants Weekly #33: Commit b58de0f pushed by avrabe
37m 53s v0.28.0
v0.28.0
37m 53s
chore(release): bump to v0.28.0 (#331) (#333) Release #54: Commit b58de0f pushed by avrabe
8m 10s v0.28.0
v0.28.0
8m 10s
chore(release): bump to v0.28.0 (#331) (#333) CI #800: Commit b58de0f pushed by avrabe
1h 15m 59s main
main
1h 15m 59s
chore(release): bump to v0.28.0 (#331) (#333) Lean Proofs #466: Commit b58de0f pushed by avrabe
2m 14s main
main
2m 14s
chore(release): bump to v0.28.0 (#331) Lean Proofs #465: Pull request #333 opened by avrabe
2m 19s release/v0.28.0
release/v0.28.0
2m 19s
chore(release): bump to v0.28.0 (#331) Verification Gate #179: Pull request #333 opened by avrabe
26m 5s release/v0.28.0
release/v0.28.0
26m 5s
chore(release): bump to v0.28.0 (#331) CI #799: Pull request #333 opened by avrabe
2h 15m 26s release/v0.28.0
release/v0.28.0
2h 15m 26s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA… CI #798: Commit 96217c7 pushed by avrabe
2h 19m 56s main
main
2h 19m 56s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA… Lean Proofs #464: Commit 96217c7 pushed by avrabe
3m 1s main
main
3m 1s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) CI #797: Pull request #332 synchronize by avrabe
1h 54m 22s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
1h 54m 22s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) Lean Proofs #463: Pull request #332 synchronize by avrabe
2m 52s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
2m 52s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) Verification Gate #178: Pull request #332 synchronize by avrabe
27m 18s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
27m 18s
Bench Nightly Bench Nightly #83: Scheduled
10m 35s main
main
10m 35s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) CI #796: Pull request #332 synchronize by avrabe
2h 12m 11s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
2h 12m 11s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) Lean Proofs #462: Pull request #332 synchronize by avrabe
3m 47s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
3m 47s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) Verification Gate #177: Pull request #332 synchronize by avrabe
28m 25s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
28m 25s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) CI #795: Pull request #332 opened by avrabe
9m 37s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
9m 37s
feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001) Verification Gate #176: Pull request #332 opened by avrabe
9m 41s feat/arinc-supply-rta-331
feat/arinc-supply-rta-331
9m 41s