Skip to content

EasyCrypt CI

EasyCrypt CI #5282

Triggered via merge group July 21, 2026 11:22
Status Success
Total duration 32m 37s
Artifacts 10

ci.yml

on: merge_group
Build Docker images
6m 52s
Build Docker images
EasyCrypt compilation (nix)
43s
EasyCrypt compilation (nix)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (opam)
2m 7s
EasyCrypt compilation (opam)
Matrix: Check EasyCrypt External Projects
Matrix: Check EasyCrypt Libraries
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Publish Docker images
Publish Docker images
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
Fetch EasyCrypt External Projects Matrix
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/
EasyCrypt compilation (nix)
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/
Build Docker images
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/
EasyCrypt compilation (opam)
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/
Check EasyCrypt Libraries (unit)
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/
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...
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/
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
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/
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...
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/
Check EasyCrypt Libraries (examples)
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/
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...
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/
Check EasyCrypt Libraries (stdlib)
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/
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
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/
Check EasyCrypt External Projects (sphincsplus, https://github.com/formosa-crypto/formosa-slhdsa,...
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:46b1fd1e7d8d6cef5965d99d67794fb2e49d8f8b93c5288f78e86090dfe99475
report.log (cryptobox)
510 Bytes
sha256:58cf1498c237ba651e07cbf282ee8ce63ee5536aae119541511403674fa4c68e
report.log (examples)
1.41 KB
sha256:236c52546cabe8d2a47e052dcab849d1dfce9ec59aad9f0fb5fc3d3056230b52
report.log (jasmin-eclib)
527 Bytes
sha256:e1c3ee1bee925c305c218af136ac7c83c31da155c8b7c68f31f70f8af44479db
report.log (sha3)
844 Bytes
sha256:dfd2cc8b0c772c7327fa85dc0768d7545bd677446a04a805fbfeeaa797784209
report.log (sphincsplus)
1.45 KB
sha256:7729ef5949efb94c7de3831f376eb2f1299f9d45d3a2f38e1a5aa10eb682bf6b
report.log (stdlib)
3.03 KB
sha256:f53abeeb36d089a424f79187f1af15fac31b85237da0d91a8a913bb5a9f1868d
report.log (unit)
2.01 KB
sha256:26b5eb334978d2fbe43559bffff2ad621ab5593b52333ed495a67e9687108f81
report.log (xmss-security)
1.09 KB
sha256:eb4ef4d25284fed136c7559d48b3cc824967ea44c082395d3243b6e4d56f5bba
report.log (xsalsa20)
339 Bytes
sha256:65c5fd7c412e2f75fe7d6888d0e26d6e723a9d6e953cef06c5be2d6c0b5bd9a5