Repository navigation
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #979
hyperpolymathhypatia-scan.yml
on: pull_request
hypatia
/
Hypatia Neurosymbolic Analysis
44s
Annotations
1 error, 2 warnings, and 2 notices
|
hypatia / Hypatia Neurosymbolic Analysis
Unable to download artifact(s): Artifact not found for name: fleet-report-backs
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
Hypatia (ADVISORY
8 critical finding(s). This scan does not gate — review hypatia-findings.json and fix forward.
|
|
panic-attack findings (advisory)
1 critical and 1 high finding(s). This scan does not gate; see panic-attack-findings.json in the hypatia-scan-findings artifact.
|
|
hypatia / Hypatia Neurosymbolic Analysis
No previous-grid artifact configured; PR revision comparison is unavailable.
|
|
hypatia / Hypatia Neurosymbolic Analysis
"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 | |
|---|---|---|---|
|
hypatia-scan-findings
|
51 KB |
sha256:82045a414c4ce32edb3800d6ba81d0327fc61c575b9cc02836ebf713c4d1e933
|
|
|
verdict-grid
|
6.7 KB |
sha256:e8aefc3c0af8eda5d9eec1eddc0173edd1a3dda7674e809c6c18209e20722dd3
|
|