Skip to content

Actions: pulseengine/spar

Actions

Lean Proofs

Actions

Loading...
Loading

647 workflow runs

647 workflow runs

feat(cli): one table drives both dispatch and --help Lean Proofs #647: Pull request #443 opened by avrabe

3h 49m 36s feat/cli-surface

feat/cli-surface

3h 49m 36s

plan(strategy): North Star + positioning as rivet artifacts (12 proposed, release-scoped) Lean Proofs #646: Pull request #441 synchronize by avrabe

2h 32m 21s plan/north-star-and-positioning

plan/north-star-and-positioning

2h 32m 21s

test(sysml2): grade the parser on 310 official models instead of our own fixtures Lean Proofs #645: Pull request #442 opened by avrabe

4h 10m 8s feat/sysml2-official-corpus

feat/sysml2-official-corpus

4h 10m 8s

plan(strategy): North Star + positioning as rivet artifacts (12 proposed, release-scoped) Lean Proofs #644: Pull request #441 synchronize by avrabe

10m 52s plan/north-star-and-positioning

plan/north-star-and-positioning

10m 52s

plan(strategy): North Star + positioning as rivet artifacts (12 proposed, release-scoped) Lean Proofs #643: Pull request #441 opened by avrabe

4m 21s plan/north-star-and-positioning

plan/north-star-and-positioning

4m 21s

fix(verify): the runner shall not report success having executed zero commands (#403) Lean Proofs #642: Pull request #440 opened by avrabe

4h 57m 50s feat/verify-runner-zero-executed-403

feat/verify-runner-zero-executed-403

4h 57m 50s

chore(release): v0.42.0 (#438) Lean Proofs #641: Commit 138a693 pushed by avrabe

18m 44s main

main

18m 44s

View workflow file

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

View workflow file

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

View workflow file

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

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

View workflow file

fix(parser): accept annex-qualified property owners and two-token reference() categories (#434) Lean Proofs #634: Pull request #435 opened by avrabe

2m 11s feat/parser-owner-gaps-434

feat/parser-owner-gaps-434

2m 11s

chore(release): v0.40.0 (#433) Lean Proofs #633: Commit f395518 pushed by avrabe

2m 1s main

main

2m 1s

View workflow file

chore(release): v0.40.0 Lean Proofs #632: Pull request #433 opened by avrabe

56m 40s release/v0.40.0

release/v0.40.0

56m 40s

feat(guard): mechanise self-test potency with a declared-mutant harne... Lean Proofs #631: Commit 47c24c8 pushed by avrabe

58m 7s main

main

58m 7s

View workflow file

feat(guard): mechanise self-test potency with a declared-mutant harness (#405) Lean Proofs #630: Pull request #432 opened by avrabe

2m 39s feat/self-test-potency-405

feat/self-test-potency-405

2m 39s

chore(release): v0.39.0 (#431) Lean Proofs #629: Commit 113c4be pushed by avrabe

2m 23s main

main

2m 23s

View workflow file

chore(release): v0.39.0 Lean Proofs #628: Pull request #431 opened by avrabe

3m 42s release/v0.39.0

release/v0.39.0

3m 42s

feat(guard): delete the two unloaded shadow safety files; guard their... Lean Proofs #627: Commit 01e81a2 pushed by avrabe

3m 20s main

main

3m 20s

View workflow file

feat(guard): delete the two unloaded shadow safety files; guard their return (#375) Lean Proofs #626: Pull request #430 opened by avrabe

3m 7s feat/safety-shadow-sources-375

feat/safety-shadow-sources-375

3m 7s

feat(interop): classify third-party gap rows; ratchet SPAR-DEFECT cou... Lean Proofs #625: Commit e632fad pushed by avrabe

3m 28s main

main

3m 28s

View workflow file

feat(interop): classify third-party gap rows; ratchet SPAR-DEFECT count exactly (#427) Lean Proofs #624: Pull request #429 opened by avrabe

3m 40s feat/interop-gap-classify-427

feat/interop-gap-classify-427

3m 40s

chore(release): v0.38.0 (#428) Lean Proofs #623: Commit 1f1a19f pushed by avrabe

18m 18s main

main

18m 18s

View workflow file