Rényi-∞ divergence machinery for oracle-bounded reductions #5285
strubci.yml
on: pull_request
Build Docker images
6m 50s
EasyCrypt compilation (nix)
2m 0s
Fetch EasyCrypt External Projects Matrix
6s
Matrix: Check EasyCrypt External Projects
Matrix: Check EasyCrypt Libraries
Publish Docker images
0s
Notification
0s
Annotations
1 error and 13 warnings
|
Check EasyCrypt Libraries (stdlib)
Process completed with exit code 2.
|
|
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 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 (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 (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 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 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/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
docker-images
Expired
|
1.79 GB |
sha256:688737bf7d9c2f430791540a2fde1b6a8cff6cc8303116dfb3e657852724a9fa
|
|
|
report.log (cryptobox)
|
510 Bytes |
sha256:cf467a4c5c33efff6e2847873401115f17154e1d2f0f510167770b9b6bd60bd8
|
|
|
report.log (examples)
|
1.34 KB |
sha256:03a0475770b14678df412f8dc0f6b7af9e360f6328fe157e103817b2b861df57
|
|
|
report.log (jasmin-eclib)
|
524 Bytes |
sha256:05a941a49becf38a96768b2cd9f9273fd29c88ebffec14c150e504aa35ed753b
|
|
|
report.log (sha3)
|
834 Bytes |
sha256:f652bd94b68d1bca8f61081792144e0942a13f721d00cc3d3a5f828e5e996ac2
|
|
|
report.log (sphincsplus)
|
1.45 KB |
sha256:6a88abbcf8477b76f0972906671b4da961cd2f30c2697e36b57cb9d1253e29ad
|
|
|
report.log (stdlib)
|
3.15 KB |
sha256:1a00a59bed54a687a165fdcbbeadb7592d7eba55c5327bf62a1ab4231ca539a2
|
|
|
report.log (unit)
|
2.01 KB |
sha256:c9abcfd34e09b5f6b1f68931d99822442849c64876d9a63ad43389339b48d3a8
|
|
|
report.log (xmss-security)
|
1.09 KB |
sha256:5175d87c77d83da742511e196e0391991e1fee88701032a2e8af101e1395a050
|
|
|
report.log (xsalsa20)
|
339 Bytes |
sha256:708c11bc4425ff7c7c98dfcd1dc15db842d0bad5d4b137f7cff131de5a63f508
|
|