probelabs/ReqProof Audit
Run ReqProof verification audit on your project
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| fail-level | Severity threshold for failure: error|warn|info | no | warn |
| format | Output format: table|markdown|json|github | no | markdown |
| scope | Audit scope: full|baseline | no | full |
| check | Run only specific check(s), comma-separated | no | "" |
| stage | Run only checks for specific stage(s), comma-separated | no | "" |
| version | ReqProof version to install (default: latest) | no | latest |
| proof-path | Path to pre-installed proof binary (skips installation) | no | "" |
| working-directory | Working directory for the audit | no | . |
Outputs
| name | description |
|---|---|
| exit-code | Audit exit code (0=pass, 1=errors, 2=warnings) |
| errors | Number of audit errors |
| warnings | Number of audit warnings |
| summary | One-line audit summary |