Repository navigation
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #358
coderabbitai[bot]hypatia-scan.yml
on: pull_request
hypatia
/
Hypatia Neurosymbolic Analysis
42s
Annotations
1 warning and 1 notice
|
Hypatia (ADVISORY
3 critical finding(s). This scan does not gate — review hypatia-findings.json and fix forward.
|
|
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
|
3.35 KB |
sha256:69f297a487d9f1be23880173485de9d9f9b5bdeeed2ec8e077613e0ababd814f
|
|