ledger-donjon/Cargo ChecktCT
Run cargo-checkct
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Maintainedlast commit May 29, 2025
- License
- Apache 2.0
Pinned Snippet
uses: ledger-donjon/action-cargo-checkct@fc1e216e4662d3dc026050e2e16123442bd594d6 # v1tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| directory | path to the target workspace (containing the checkct directory) | yes | — |
| binsec-version | binsec version | yes | 0.10.0 |
| unisim-version | unisim_archisec version | yes | 0.0.10 |
| cargo-checkct-ref | Cargo-checkct reference | yes | f7bc61f5ad08dedece61ec199911f6ecd3272eeb |
| skip-unknown | do not raise an error if binsec cannot conclude on the tested implementation | yes | false |
| timeout | cargo-checktct timeout in seconds | yes | 600 |
Outputs
no outputs