Repository navigation
perf: make require of large section-heavy developments fast
#5540
strubci.yml
on: pull_request
Build Docker images
5m 22s
EasyCrypt compilation (nix)
1m 48s
Fetch EasyCrypt External Projects Matrix
5s
Matrix: Check EasyCrypt External Projects
Matrix: Check EasyCrypt Libraries
Publish Docker images
Notification
4s
Annotations
14 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 (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 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 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 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 (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 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/
|
|
Notification
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: technote-space/workflow-conclusion-action@v3, zulip/github-actions-zulip/send-message@v1. 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)
|
504 Bytes |
sha256:8879330e26cba1e107db3eb34b7ca38a017bdd8f3ad9e49267c43271216a367c
|
|
|
report.log (examples)
|
1.41 KB |
sha256:e63dcbd24f7cbac92601b439df3d92e972401c704efad4fe0e505650fa6e47ab
|
|
|
report.log (jasmin-eclib)
|
546 Bytes |
sha256:d4382a7414f891eb7005af2d9ae579582b8f9b9f75dbdc46463cc57d3aa95746
|
|
|
report.log (sha3)
|
844 Bytes |
sha256:b3244053a2d09e1d7d0de7abad1e648c48cf856e01f5dbacace3834faba3bbbf
|
|
|
report.log (sphincsplus)
|
1.45 KB |
sha256:af3ae70d2aaa9c227eaa978132bc3e123d5cc92c8241ccc77c38871464a2b52e
|
|
|
report.log (stdlib)
|
2.92 KB |
sha256:3abc263a5196a2e8c89af9b544081daa528048f6e3e3f8882708bd55278c0da3
|
|
|
report.log (unit)
|
2.23 KB |
sha256:378479161003dce447113aecc6968eb31dd22af68656e828a72644e5b3bd81a4
|
|
|
report.log (xmss-security)
|
1.09 KB |
sha256:efdc61327f68c1e3704db548fd1f749665b95002b7acfa926827b9c33d7b54db
|
|
|
report.log (xsalsa20)
|
339 Bytes |
sha256:2e051974243d690398a367cd0bd4cd52b6debcd335e3db94b49a9e3e04d75f07
|
|