Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,888 workflow runs
1,888 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 #91: Scheduled
6m 50s main
main
6m 50s
Fuzz (nightly) Fuzz (nightly) #92: Scheduled
1h 3m 55s main
main
1h 3m 55s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #64: Scheduled
12s main
main
12s
Bench Nightly Bench Nightly #90: Scheduled
7m 0s main
main
7m 0s
Fuzz (nightly) Fuzz (nightly) #91: Scheduled
1h 3m 50s main
main
1h 3m 50s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #63: Scheduled
13s main
main
13s
chore(release): bump to v0.33.0 (#347) CI #824: Commit 4cd5948 pushed by avrabe
51m 0s main
main
51m 0s
chore(release): bump to v0.33.0 (#347) Lean Proofs #490: Commit 4cd5948 pushed by avrabe
25m 40s main
main
25m 40s
chore(release): bump to v0.33.0 Verification Gate #193: Pull request #347 opened by avrabe
37m 1s release/v0.33.0
release/v0.33.0
37m 1s
chore(release): bump to v0.33.0 Lean Proofs #489: Pull request #347 opened by avrabe
19m 51s release/v0.33.0
release/v0.33.0
19m 51s
chore(release): bump to v0.33.0 CI #823: Pull request #347 opened by avrabe
1h 29m 20s release/v0.33.0
release/v0.33.0
1h 29m 20s
feat(codegen): emit typed WIT list from Array data types (#346) CI #822: Commit b39068e pushed by avrabe
1h 38m 17s main
main
1h 38m 17s
feat(codegen): emit typed WIT list from Array data types (#346) Lean Proofs #488: Commit b39068e pushed by avrabe
15m 8s main
main
15m 8s
feat(codegen): emit typed WIT list from Array data types (#345) AADL interop corpus #35: Pull request #346 synchronize by avrabe
6m 48s feat/wit-array-list-345
feat/wit-array-list-345
6m 48s
feat(codegen): emit typed WIT list from Array data types (#345) Verification Gate #192: Pull request #346 synchronize by avrabe
11m 15s feat/wit-array-list-345
feat/wit-array-list-345
11m 15s
feat(codegen): emit typed WIT list from Array data types (#345) CI #821: Pull request #346 synchronize by avrabe
1h 8m 55s feat/wit-array-list-345
feat/wit-array-list-345
1h 8m 55s
feat(codegen): emit typed WIT list from Array data types (#345) Lean Proofs #487: Pull request #346 synchronize by avrabe
2m 22s feat/wit-array-list-345
feat/wit-array-list-345
2m 22s
feat(codegen): emit typed WIT list from Array data types (#345) AADL interop corpus #34: Pull request #346 synchronize by avrabe
17m 1s feat/wit-array-list-345
feat/wit-array-list-345
17m 1s
feat(codegen): emit typed WIT list from Array data types (#345) Lean Proofs #486: Pull request #346 synchronize by avrabe
6m 32s feat/wit-array-list-345
feat/wit-array-list-345
6m 32s
feat(codegen): emit typed WIT list from Array data types (#345) Verification Gate #191: Pull request #346 synchronize by avrabe
13m 16s feat/wit-array-list-345
feat/wit-array-list-345
13m 16s
feat(codegen): emit typed WIT list from Array data types (#345) CI #820: Pull request #346 synchronize by avrabe
45m 44s feat/wit-array-list-345
feat/wit-array-list-345
45m 44s
chore(release): bump to v0.32.0 (#344) Release #58: Commit 945799a pushed by avrabe
1h 7m 54s v0.32.0
v0.32.0
1h 7m 54s
chore(release): bump to v0.32.0 (#344) Mutants Weekly #38: Commit 945799a pushed by avrabe
1h 54m 11s v0.32.0
v0.32.0
1h 54m 11s
feat(codegen): emit typed WIT list from Array data types (#345) Lean Proofs #485: Pull request #346 opened by avrabe
1h 0m 57s feat/wit-array-list-345
feat/wit-array-list-345
1h 0m 57s
feat(codegen): emit typed WIT list from Array data types (#345) Verification Gate #190: Pull request #346 opened by avrabe
3h 15m 25s feat/wit-array-list-345
feat/wit-array-list-345
3h 15m 25s