elan8/Spec42 SysML Check
Validate SysML v2 and KerML models with the Spec42 CLI.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| version | Spec42 release tag to install. Defaults to the Action ref. | no | — |
| path | File or workspace path to validate. | yes | — |
| workspace-root | Optional workspace root passed to spec42 check. | no | — |
| format | Output format for spec42 check: text, json, sarif, or junit. | no | sarif |
| warnings-as-errors | Treat warnings as errors. | no | false |
| baseline | Optional baseline file passed to spec42 check. | no | — |
| config | Optional Spec42 config file passed as --config. | no | — |
| library-path | Optional additional library root passed as --library-path. | no | — |
| stdlib-path | Optional standard library root passed as --stdlib-path. | no | — |
| no-stdlib | Disable bundled standard library resolution. | no | false |
| run-doctor | Run spec42 doctor before validation. | no | true |
| upload-sarif | Upload spec42.sarif to GitHub code scanning when format is sarif. | no | true |
| sarif-file | SARIF output file path when format is sarif. | no | spec42.sarif |
Outputs
| name | description |
|---|---|
| executable-path | Path to the installed spec42 executable. |
| exit-code | Exit code from spec42 check (0 = passed). |
| sarif-file | SARIF output file path when format is sarif. |