runtimeverification/Install Kontrol
Install Runtime Verification's Kontrol
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| version | Version of Kontrol to install | no | latest |
| github-token | The GitHub Token to use for Github API requests (Optional) | no | — |
Outputs
no outputs