Skip to content

Actions: jman4162/sysml2kit

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
24 workflow runs
24 workflow runs

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
Correct the changelog: the hatchling cap stays docs #24: Commit 2b4d039 pushed by jman4162
35s main
main
35s
Restore the hatchling <1.32 cap docs #23: Commit 6b08a91 pushed by jman4162
34s main
main
34s
Prepare the 0.4.0 release: changelog, README, shim references docs #22: Commit ceb1fa3 pushed by jman4162
33s main
main
33s
Push and pull ownership; api branches/commits; pin sweep docs #21: Commit dda3e88 pushed by jman4162
32s main
main
32s
Document the typed binding form in SPEC and docs docs #20: Commit ba50774 pushed by jman4162
27s main
main
27s
Verify across several text files; parse quoted metadata keys docs #19: Commit 19f6557 pushed by jman4162
32s main
main
32s
Support typed sibling bindings for fidelity ladders docs #18: Commit a58f301 pushed by jman4162
31s main
main
31s
Add multi-fidelity verification: policies, ladders, S2K010 docs #17: Commit d41490b pushed by jman4162
32s main
main
32s
Full traceability and bindings through textual notation (v0.4 M1) docs #16: Commit 1102f4b pushed by jman4162
31s main
main
31s
Hotfix: fmt loss gate covers bindings, SysML-correct metadata quoting… docs #15: Commit 66f0dc7 pushed by jman4162
35s main
main
35s
Mention the executable PAS example on the RF library docs page docs #14: Commit a36dbb7 pushed by jman4162
33s main
main
33s
Changelog for 0.3.0 docs #13: Commit 99521e2 pushed by jman4162
40s main
main
40s
Refresh README for 0.3 and add the diagrams docs page docs #12: Commit ac03308 pushed by jman4162
31s main
main
31s
Add the live-server harness and api CLI group (v0.3 M4) docs #11: Commit e0506aa pushed by jman4162
31s main
main
31s
Add the verification runner: bindings, engine registry, CLI, MCP tool… docs #10: Commit b3fe4a1 pushed by jman4162
31s main
main
31s
Freeze the RequirementSpec schema; update docs and changelog for 0.2.0 docs #9: Commit 98d5d6e pushed by jman4162
31s main
main
31s
Oracle: classify the pilot's unit-literal NPE as a tool limitation, n… docs #8: Commit d1a106c pushed by jman4162
28s main
main
28s
Pin the conformance oracle to windtrader-java 0.1.1 (M4) docs #7: Commit 5b6e852 pushed by jman4162
30s main
main
30s
Add MCP server (8 tools), mermaid views, and CLI wiring (M3+M5) docs #6: Commit 4e63eaf pushed by jman4162
32s main
main
32s
Flatten nested if in grammar_signature docs #5: Commit fd4743f pushed by jman4162
34s main
main
34s
Add fmt command with a loss-refusing safety gate (M2) docs #4: Commit 3f5081c pushed by jman4162
28s main
main
28s
Rewrite the sysmlpy backend on the raw ANTLR dict for parse fidelity … docs #3: Commit 5771ad9 pushed by jman4162
34s main
main
34s
Format docs-related files docs #2: Commit 19c494d pushed by jman4162
35s main
main
35s
Add docs site content, Pages deploy workflow; update status and chang… docs #1: Commit 447bf9e pushed by jman4162
21s main
main
21s