ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #108
hyperpolymathstatic-analysis-gate.yml
on: pull_request
panic-attack assail
5s
Hypatia neurosymbolic scan
34s
Deposit findings for gitbot-fleet
8s
Annotations
3 warnings and 1 notice
|
panic-attack assail
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Hypatia neurosymbolic scan
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Deposit findings for gitbot-fleet
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
panic-attack assail
panic-attack binary not available — skipping assail
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
hypatia-findings
|
161 Bytes |
sha256:7ebd159d670ba2c9a0f7f4ca56b274cb7d7c9d8303b473c8e3ada9e93ef3dd44
|
|
|
panic-attack-findings
|
171 Bytes |
sha256:97c836660a049a9ed1a243bd5a0840fead496bbe776f2c898d58eb85edd81896
|
|
|
unified-findings
|
344 Bytes |
sha256:f6b97a2bbba0a51fc15fbe19f069e019ad6adbbb39e15615ba5a3d60b7eef60a
|
|