[cryptolib] generalize PRF definitions, PRP<->PRF · EasyCrypt/easycrypt@8a1904b

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. 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/checkout@v4. 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/checkout@v4, actions/upload-artifact@v4, docker/login-action@v3. 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/checkout@v4, actions/download-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. 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/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime

Name	Size	Digest
docker-images Expired	1.82 GB	`sha256:66ba2107b2388e1fdd3c2d693d733ebf73f5d0998c2c92c646cc832f34f1f285`
report.log (cryptobox)	511 Bytes	`sha256:c87cfd6b7faac8b7eae307d103e44b0f5d7e120c1e2a12770c7315911143f8d3`
report.log (examples)	1.41 KB	`sha256:60c0150334fe4485271b7a5615ff3ca835109f652d0557d7395c703017fa1dcf`
report.log (jasmin-eclib)	527 Bytes	`sha256:9338ad3ea0cd4e4e902b9e13223a40c52631735f18674f8b3ae96bbe6e1aae6c`
report.log (sha3)	933 Bytes	`sha256:529f12e9d1c2801eeab9208d9fd5df3fc812359fed3272e78ec16b0885bf49ca`
report.log (sphincsplus)	1.5 KB	`sha256:c22bf10463c944b5292d91cc9b8e9e5106531bdf6c249ddd1d9ad44f2a14c5a9`
report.log (stdlib)	3.05 KB	`sha256:2b799a444bd5f294211a7fd937b34ba1c91570c257a94c3fd5be0b513e62da98`
report.log (unit)	2.15 KB	`sha256:430da9d05ed5d47cdc5a9ee632e0d5d41c2f3d6528641a77a9dd9efa0c32469d`
report.log (xmss-security)	1.09 KB	`sha256:f1dc2c2110db172b592d3e4a908ee1080949132bc2d9ad04ff17d5aa14bbc883`
report.log (xsalsa20)	340 Bytes	`sha256:e96233d5a57aa1033a188e8559ea1db9fb76de716b06773d39b4e7fc68012495`