runtimeverification/Install KaaS
Install KaaS on the Runner for use in later steps and utilize kaas-cli push/pull of KCFGs
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| github-token | The GitHub Token to use for the checkout of the KaaS repository | yes | — |
Outputs
no outputs