ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #187
hyperpolymathscorecard.yml
on: push
analysis
/
Run Scorecard
21s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
scorecard-results
|
1.92 KB |
sha256:91f3757c41e84402bba44c2b22540acf77e59fdc0f68508ae16cb53dfaa1065b
|
|