fix(phl): emit the non-negativity of the bound as a separate goal in `rnd` (on #1105) · EasyCrypt/easycrypt@8b31253

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
report.log (cryptobox)	559 Bytes	`sha256:fc1fb074a62ecf9ee7d908bd18b6849af9b007a26280db5d3135685b9fa6b5c9`
report.log (examples)	1.4 KB	`sha256:cdf8c7e3443d5b7f1c32e8d992bdb5ede6e54f0dbbc0afa526d29860275d2cb4`
report.log (jasmin-eclib)	535 Bytes	`sha256:dc88178864492b37400346b134b4fdcae8a3fd43ea2bca356373cb31d80c3846`
report.log (sha3)	953 Bytes	`sha256:6d4ea1846832f1c8da28792370b1edbff86032ee985b27990661b4db914f02d2`
report.log (sphincsplus)	1.45 KB	`sha256:a6bcfba3f266491bc92fb5daae344d40e9b40b257e6c54d491e9f8a2903b324e`
report.log (stdlib)	2.91 KB	`sha256:974b9220ce12a454867dbc3a07f275a4087fc06e0f070dcc1c1c6991e71e3563`
report.log (unit)	2.27 KB	`sha256:3f36501b982c4a3b82233f57ba0c9260c35c23f45b95e4fbc929905ab65bdb18`
report.log (xmss-security)	1.2 KB	`sha256:d0b21c68684e6388fa4a2eb95b87c80161d324ed1eb769c4b27d7d34b0b36fd1`
report.log (xsalsa20)	338 Bytes	`sha256:a41719e11dc0198f460a9a16348d1f9c2b226bf9f6f02d67ec48516123824d1a`