fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105)
#5531
oskgoci.yml
on: pull_request
Build Docker images
5m 52s
EasyCrypt compilation (nix)
1m 14s
Fetch EasyCrypt External Projects Matrix
5s
Matrix: Check EasyCrypt External Projects
Matrix: Check EasyCrypt Libraries
Publish Docker images
0s
Notification
0s
Annotations
4 errors and 13 warnings
|
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...
Process completed with exit code 2.
|
|
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.
|
|
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 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 (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 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 | |
|---|---|---|---|
|
report.log (cryptobox)
|
565 Bytes |
sha256:0ac0cc36bda8766bb575fec82ce31809a27130e1979c449676d86def69bc0c38
|
|
|
report.log (examples)
|
1.4 KB |
sha256:886c061d4ab9765d56449b4a652ba833f0523d4567beecbdb5379ad2c97dd235
|
|
|
report.log (jasmin-eclib)
|
542 Bytes |
sha256:b4df78584436e2f1375ca79aaec3eb40438679df67b7e57905b5baaf072b89e0
|
|
|
report.log (sha3)
|
946 Bytes |
sha256:c89aa20118ba06028ce24c92810b5f4fa002d626bc5d1cfa33f16ea27f66a417
|
|
|
report.log (sphincsplus)
|
1.45 KB |
sha256:c96bb61b0edbf0ce9954173ff4950af67f42bc65f6d38f376a1be99ad6b8dc52
|
|
|
report.log (stdlib)
|
2.92 KB |
sha256:eb43b79265f7ecf915a952c902c74b478bc97ac3e4b5187d3bf490386e4a51f0
|
|
|
report.log (unit)
|
2.26 KB |
sha256:ad84921736e284f6b3aff815d96ca14f63ca252161e781d6812fdf32d9a4ede8
|
|
|
report.log (xmss-security)
|
1.2 KB |
sha256:14dde0c86aba7a0409928d2525e2d175f7e0ffd046f60e4926509496e0a8dc1b
|
|
|
report.log (xsalsa20)
|
338 Bytes |
sha256:21ab93150276ce5b6d7b462a54df01cd20922d79352aef8808961f55f858abc7
|
|