Skip to content

Actions: pulseengine/spar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
837 workflow runs
837 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(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation Verification Gate #13: Pull request #223 synchronize by avrabe
Queued feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
Queued
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation CI #539: Pull request #223 synchronize by avrabe
Queued feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
Queued
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation Lean Proofs #205: Pull request #223 synchronize by avrabe
2m 21s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
2m 21s
feat(codegen): Kani harnesses for generated-code AADL contract preservation Verification Gate #12: Pull request #224 synchronize by avrabe
Queued feat/v0.10.x-kani-codegen-contracts
feat/v0.10.x-kani-codegen-contracts
Queued
feat(codegen): Kani harnesses for generated-code AADL contract preservation Lean Proofs #204: Pull request #224 synchronize by avrabe
2m 51s feat/v0.10.x-kani-codegen-contracts
feat/v0.10.x-kani-codegen-contracts
2m 51s
feat(codegen): Kani harnesses for generated-code AADL contract preservation CI #538: Pull request #224 synchronize by avrabe
Queued feat/v0.10.x-kani-codegen-contracts
feat/v0.10.x-kani-codegen-contracts
Queued
Merge branch 'main' into feat/v0.10.x-kani-codegen-contracts Mutants Weekly #4: Commit 25c1c83 pushed by avrabe
3h 1m 43s feat/v0.10.x-kani-codegen-contracts
feat/v0.10.x-kani-codegen-contracts
3h 1m 43s
feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x) CI #537: Pull request #225 synchronize by avrabe
Queued feat/v0.10.x-emv2-propagation
feat/v0.10.x-emv2-propagation
Queued
feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x) Lean Proofs #203: Pull request #225 synchronize by avrabe
2m 28s feat/v0.10.x-emv2-propagation
feat/v0.10.x-emv2-propagation
2m 28s
feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x) Verification Gate #11: Pull request #225 synchronize by avrabe
Queued feat/v0.10.x-emv2-propagation
feat/v0.10.x-emv2-propagation
Queued
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation Lean Proofs #202: Pull request #223 synchronize by avrabe
2m 53s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
2m 53s
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation Verification Gate #10: Pull request #223 synchronize by avrabe
1h 42m 45s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
1h 42m 45s
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation CI #536: Pull request #223 synchronize by avrabe
2h 39m 40s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
2h 39m 40s
feat(cli): spar emit --format mermaid subcommand (v0.10.x M2) CI #535: Pull request #222 synchronize by avrabe
Queued feat/v0.10.x-mermaid-cli-emit
feat/v0.10.x-mermaid-cli-emit
Queued
feat(cli): spar emit --format mermaid subcommand (v0.10.x M2) Lean Proofs #201: Pull request #222 synchronize by avrabe
2m 49s feat/v0.10.x-mermaid-cli-emit
feat/v0.10.x-mermaid-cli-emit
2m 49s
feat(cli): spar emit --format mermaid subcommand (v0.10.x M2) Verification Gate #9: Pull request #222 synchronize by avrabe
3h 9m 41s feat/v0.10.x-mermaid-cli-emit
feat/v0.10.x-mermaid-cli-emit
3h 9m 41s
feat(ci): rivet-driven verification gate + sticky PR comment (#221) CI #534: Commit ba329f3 pushed by avrabe
Queued main
main
Queued
feat(ci): rivet-driven verification gate + sticky PR comment (#221) Lean Proofs #200: Commit ba329f3 pushed by avrabe
2m 51s main
main
2m 51s
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation CI #533: Pull request #223 synchronize by avrabe
18m 17s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
18m 17s
feat(proofs): Lean 4 proofs for latency monotonicity + ARINC 653 isolation Lean Proofs #199: Pull request #223 synchronize by avrabe
17m 40s feat/v0.10.x-lean-latency-arinc653
feat/v0.10.x-lean-latency-arinc653
17m 40s
Bench Nightly Bench Nightly #20: Scheduled
6m 25s main
main
6m 25s
Fuzz (nightly) Fuzz (nightly) #21: Scheduled
1h 3m 24s main
main
1h 3m 24s
feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x) Lean Proofs #198: Pull request #225 opened by avrabe
2h 57m 48s feat/v0.10.x-emv2-propagation
feat/v0.10.x-emv2-propagation
2h 57m 48s
feat(emv2): error-propagation traversal across AADL connection graph (v0.10.x) CI #532: Pull request #225 opened by avrabe
15h 4m 42s feat/v0.10.x-emv2-propagation
feat/v0.10.x-emv2-propagation
15h 4m 42s
feat(codegen): Kani harnesses for generated-code AADL contract preservation Lean Proofs #197: Pull request #224 opened by avrabe
2h 54m 32s feat/v0.10.x-kani-codegen-contracts
feat/v0.10.x-kani-codegen-contracts
2h 54m 32s