feat: Level 4 Idris2/Agda MTProto authorization equivalence · hyperpolymath/trigger@d52727b

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 assail

panic-attack binary not available — skipping Patch Bridge

Artifacts

Produced during runtime

Name	Size	Digest
bridge-report	218 Bytes	`sha256:b1e2b4da60c62b0b86daa15a1975f5027c4a6dbcb10d08c22741d3a8be7929d5`
hypatia-findings	161 Bytes	`sha256:1684bbcf745cf6b0598af8b0b184437c922821295053fb7ab312fd67a70363c7`
panic-attack-findings	171 Bytes	`sha256:492e9439bc97389c78de26fbdc7532f27761b9fcab460c88553c2f1240dac260`
unified-findings	400 Bytes	`sha256:125440314809f8ccbadf9c7e856386e0d260460c679c59dbf5e3810485f49368`