[chore] stabilise SMT and bump provers · EasyCrypt/easycrypt@6084b7f

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.79 GB	`sha256:37607c0fbd4f2c67afba89d770bffb30990d5eefb11bd850f8aaef6f8667897e`
report.log (cryptobox)	509 Bytes	`sha256:06e820aab1b5788dab21654ab54633e42f145dd6a3189ad1352d3481a6c3e8e1`
report.log (examples)	1.47 KB	`sha256:b5fe0c026a3bc42cfdd4dcce97656bcd8777e95da9d7af3a3a8760efb5bad093`
report.log (jasmin-eclib)	528 Bytes	`sha256:de1fee31d250edf6300e61ba23dd17ce62aa146ec305dd511f3e8a7ec6ed1c4d`
report.log (sha3)	846 Bytes	`sha256:e1929918b425bf4f85a16413e883a625534c083ddd20f50f25f16ecd284c2227`
report.log (sphincsplus)	1.45 KB	`sha256:a7a261efd3a4e456ee2847f020eb65231774c32464dc3d2dff2020ee865a11bb`
report.log (stdlib)	3.03 KB	`sha256:17c13f9115c564c454d989f26d810f2c05e2bde392167f67f755bc1f756e63ab`
report.log (unit)	1.99 KB	`sha256:08cf5fa15c6f8333a6fda9f4425696403f1249429ed5bebd7dca31dcccb3e769`
report.log (xmss-security)	1.09 KB	`sha256:6c434edda0b5cf1ded70e71c179eee027271b454c8e74d6fa280822bbbde34ab`
report.log (xsalsa20)	340 Bytes	`sha256:9d839c3e417d5d45470b54ec55f3a04e70cad58257744d4c658162d5e036ab90`