Repository navigation
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #156
hyperpolymathci-integrity.yml
on: pull_request
CI integrity (pins, lock, allowlist, YAML)
40s
Annotations
1 notice
|
CI integrity (pins, lock, allowlist, YAML)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ci-integrity-native-42715220592-1
|
2.34 KB |
sha256:ef2b8a97b1a812dcada1a11066987c6ad0bd62c95beaafe3e4a07cd4b1ca1bdb
|
|