fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #366
Triggered via pull request
September 30, 2026 15:55
hyperpolymath
Status
Success
Total duration
1m 35s
Artifacts
–
secret-scanner.yml
on: pull_request
scan
/
gitleaks
8s
scan
/
rust-secrets
6s
scan
/
shell-secrets
3s
Annotations
3 notices
|
scan / shell-secrets
"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"
|
|
scan / gitleaks
"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"
|
|
scan / rust-secrets
"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"
|