fix(ci): Bun-first runtime policy; retire two gates that enforced the opposite · hyperpolymath/proof-burrower@209dbe8

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/

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/

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/

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 binary not available — skipping Patch Bridge

panic-attack binary not available — skipping assail

Artifacts

Produced during runtime

Name	Size	Digest
bridge-report	218 Bytes	`sha256:9f3340f852747aa26f4c1d26f15c06dc7cdaf6ee7915b644dfdd57edf999ee75`
hypatia-findings	161 Bytes	`sha256:e1f352f467855733682fe164fc5d6cb12aaac53dfd213720bd2da3523230b198`
panic-attack-findings	171 Bytes	`sha256:c0e15c817c112fd470315ad2fbc7e937d2979e30043884184b3ebff9a018dcd8`
unified-findings	409 Bytes	`sha256:a8811a915e425dd8d936a252af9227f21f4bd3dfd2711f32f74191395f852f01`