atomics-hub/ReplayPack Verify
Verify a ReplayPack capsule in GitHub Actions.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| capsule | Path to the ReplayPack capsule JSON. | yes | — |
| root | Working directory where proof and invariant commands should run. | no | . |
| out | Path to write the verification packet. | no | dist/replaypack-verify.json |
Outputs
no outputs