Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,455 workflow runs
2,455 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 #120: Scheduled
6m 59s main
main
6m 59s
Fuzz (nightly) Fuzz (nightly) #123: Scheduled
1h 4m 14s main
main
1h 4m 14s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #115: Scheduled
14s main
main
14s
Mutants Weekly Mutants Weekly #53: Scheduled
25m 52s main
main
25m 52s
chore(release): v0.42.0 (#438) Lean Proofs #641: Commit 138a693 pushed by avrabe
18m 44s main
main
18m 44s
chore(release): v0.42.0 (#438) CI #975: Commit 138a693 pushed by avrabe
1h 9m 2s main
main
1h 9m 2s
Bench Nightly Bench Nightly #119: Scheduled
6m 51s main
main
6m 51s
Fuzz (nightly) Fuzz (nightly) #122: Scheduled
1h 3m 46s main
main
1h 3m 46s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #114: Scheduled
13s main
main
13s
chore(release): v0.42.0 Verification Gate #300: Pull request #438 opened by avrabe
12m 13s release/v0.42.0
release/v0.42.0
12m 13s
chore(release): v0.42.0 CI #974: Pull request #438 opened by avrabe
1h 15m 42s release/v0.42.0
release/v0.42.0
1h 15m 42s
chore(release): v0.42.0 Lean Proofs #640: Pull request #438 opened by avrabe
2m 56s release/v0.42.0
release/v0.42.0
2m 56s
feat(parser): reject a feature named in/out — reserved words (#42… Lean Proofs #639: Commit 0acc824 pushed by avrabe
2m 43s main
main
2m 43s
feat(parser): reject a feature named in/out — reserved words (#42… CI #973: Commit 0acc824 pushed by avrabe
1h 7m 12s main
main
1h 7m 12s
feat(parser): reject a feature named in/out — reserved words (#420) AADL interop corpus #59: Pull request #437 opened by avrabe
2m 19s feat/reject-in-out-port-name-420
feat/reject-in-out-port-name-420
2m 19s
feat(parser): reject a feature named in/out — reserved words (#420) CI #972: Pull request #437 opened by avrabe
1h 19m 44s feat/reject-in-out-port-name-420
feat/reject-in-out-port-name-420
1h 19m 44s
feat(parser): reject a feature named in/out — reserved words (#420) Verification Gate #299: Pull request #437 opened by avrabe
7m 28s feat/reject-in-out-port-name-420
feat/reject-in-out-port-name-420
7m 28s
feat(parser): reject a feature named in/out — reserved words (#420) Lean Proofs #638: Pull request #437 opened by avrabe
2m 46s feat/reject-in-out-port-name-420
feat/reject-in-out-port-name-420
2m 46s
chore(release): v0.41.0 (#436) Lean Proofs #637: Commit 7977994 pushed by avrabe
24m 6s main
main
24m 6s
chore(release): v0.41.0 (#436) CI #971: Commit 7977994 pushed by avrabe
41m 19s main
main
41m 19s
chore(release): v0.41.0 Verification Gate #298: Pull request #436 opened by avrabe
13m 35s release/v0.41.0
release/v0.41.0
13m 35s
chore(release): v0.41.0 Lean Proofs #636: Pull request #436 opened by avrabe
2m 27s release/v0.41.0
release/v0.41.0
2m 27s
chore(release): v0.41.0 CI #970: Pull request #436 opened by avrabe
1h 2m 53s release/v0.41.0
release/v0.41.0
1h 2m 53s
fix(parser): accept annex-qualified property owners and two-token ref… CI #969: Commit aee9e1c pushed by avrabe
1h 6m 42s main
main
1h 6m 42s
fix(parser): accept annex-qualified property owners and two-token ref… Lean Proofs #635: Commit aee9e1c pushed by avrabe
2m 38s main
main
2m 38s