Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,698 workflow runs
1,698 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 #75: Scheduled
9m 26s main
main
9m 26s
Fuzz (nightly) Fuzz (nightly) #76: Scheduled
1h 3m 47s main
main
1h 3m 47s
Trace-Topology Fixture Generation Trace-Topology Fixture Generation #48: Scheduled
13s main
main
13s
chore(release): bump to v0.24.0 (#322) Release #50: Commit 952cbd4 pushed by avrabe
7m 42s v0.24.0
v0.24.0
7m 42s
chore(release): bump to v0.24.0 (#322) Mutants Weekly #28: Commit 952cbd4 pushed by avrabe
27m 41s v0.24.0
v0.24.0
27m 41s
chore(release): bump to v0.24.0 (#322) Lean Proofs #444: Commit 952cbd4 pushed by avrabe
17m 42s main
main
17m 42s
chore(release): bump to v0.24.0 (#322) CI #778: Commit 952cbd4 pushed by avrabe
48m 9s main
main
48m 9s
chore(release): bump to v0.24.0 Verification Gate #166: Pull request #322 opened by avrabe
10m 34s release/v0.24.0
release/v0.24.0
10m 34s
chore(release): bump to v0.24.0 CI #777: Pull request #322 opened by avrabe
1h 5m 51s release/v0.24.0
release/v0.24.0
1h 5m 51s
chore(release): bump to v0.24.0 Lean Proofs #443: Pull request #322 opened by avrabe
17m 31s release/v0.24.0
release/v0.24.0
17m 31s
feat(codegen): structured WIT records + compiling wit-bindgen crate f… CI #776: Commit 9962aa9 pushed by avrabe
1h 9m 16s main
main
1h 9m 16s
feat(codegen): structured WIT records + compiling wit-bindgen crate f… Lean Proofs #442: Commit 9962aa9 pushed by avrabe
17m 58s main
main
17m 58s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Verification Gate #165: Pull request #320 synchronize by avrabe
1h 15m 56s feat/codegen-wit-records
feat/codegen-wit-records
1h 15m 56s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) AADL interop corpus #30: Pull request #320 synchronize by avrabe
1h 11m 20s feat/codegen-wit-records
feat/codegen-wit-records
1h 11m 20s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) CI #775: Pull request #320 synchronize by avrabe
3h 3m 12s feat/codegen-wit-records
feat/codegen-wit-records
3h 3m 12s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Lean Proofs #441: Pull request #320 synchronize by avrabe
1h 16m 2s feat/codegen-wit-records
feat/codegen-wit-records
1h 16m 2s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) AADL interop corpus #29: Pull request #320 synchronize by avrabe
1h 16m 4s feat/codegen-wit-records
feat/codegen-wit-records
1h 16m 4s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) CI #774: Pull request #320 synchronize by avrabe
7m 44s feat/codegen-wit-records
feat/codegen-wit-records
7m 44s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Verification Gate #164: Pull request #320 synchronize by avrabe
7m 44s feat/codegen-wit-records
feat/codegen-wit-records
7m 44s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Lean Proofs #440: Pull request #320 synchronize by avrabe
7m 44s feat/codegen-wit-records
feat/codegen-wit-records
7m 44s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) CI #773: Pull request #320 synchronize by avrabe
40m 42s feat/codegen-wit-records
feat/codegen-wit-records
40m 42s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Lean Proofs #439: Pull request #320 synchronize by avrabe
3m 7s feat/codegen-wit-records
feat/codegen-wit-records
3m 7s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) Verification Gate #163: Pull request #320 synchronize by avrabe
9m 2s feat/codegen-wit-records
feat/codegen-wit-records
9m 2s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) AADL interop corpus #28: Pull request #320 synchronize by avrabe
2m 43s feat/codegen-wit-records
feat/codegen-wit-records
2m 43s
feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319) AADL interop corpus #27: Pull request #320 opened by avrabe
1m 51s feat/codegen-wit-records
feat/codegen-wit-records
1m 51s