fix(phl): check the bound of the upper-bound `while` rule on all memories (on #1105) · EasyCrypt/easycrypt@dbf7bac

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)	552 Bytes	`sha256:c5cc8ab41485f7ca1425a1e8e8b137bd19d7bfb60599351e3c5291214aa66c1b`
report.log (examples)	1.43 KB	`sha256:4c1370bbed56b8e64e61224211e2dc6b1f48a2760463f52558a03c8bf3e93e52`
report.log (jasmin-eclib)	547 Bytes	`sha256:192853c14a755b7f044a5c6fd84376a33bd9a44e6728bf023943ea481caf80a8`
report.log (sha3)	1.05 KB	`sha256:7e22c648d40bf17cfe037ec7c65ae8586d5b8d517d3fa54f31ae3e55099a638c`
report.log (sphincsplus)	1.51 KB	`sha256:fe89fc0e69db16b25cb12a5be1aa24b7f38689b06735f493c075826af063917e`
report.log (stdlib)	3.05 KB	`sha256:8d277699ca466de35e42f701c268addc2f545938a2c5778c2858424efbddda1e`
report.log (unit)	2.09 KB	`sha256:a0f5329a8cddf214142578571c2c76ad3c84ccf727c436ee42ff4388a4ea4095`
report.log (xmss-security)	1.12 KB	`sha256:b2507ede5fd83cf8c57d9e3bdfb60a44b0a3e57be2801e21b56494a4b622ba1d`
report.log (xsalsa20)	341 Bytes	`sha256:6c4285cfaccfec3535333b4a30e6e767023dccfdd968b24058cdcebd45f9d0a2`