feat: print an individual procedure (print [proc] M.p)
#5194
github-merge-queue[bot]ci.yml
on: push
Build Docker images
16m 11s
EasyCrypt compilation (nix)
55s
Fetch EasyCrypt External Projects Matrix
4s
Matrix: Check EasyCrypt External Projects
Matrix: Check EasyCrypt Libraries
Publish Docker images
6m 4s
Notification
6s
Annotations
15 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, cachix/cachix-action@v14. 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. 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 (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 (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 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/
|
|
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/
|
|
Publish 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/download-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/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
docker-images
Expired
|
2.42 GB |
sha256:cad55564c8c17c4ddbba7dbac3b5e1cf6755f1c8482bce3bcb5b32f87bd14a01
|
|
|
report.log (cryptobox)
|
512 Bytes |
sha256:0009a046ccb74f5424a17be0242e3a5188327a75332dc2546bed7a7738534109
|
|
|
report.log (examples)
|
1.39 KB |
sha256:8d773db6c89736033aacccfffd8148bbe9411f5132ebd9761b0c1780f703c8eb
|
|
|
report.log (jasmin-eclib)
|
532 Bytes |
sha256:228437104161c3f38f6d72eebce2aa630412e4e04315053ec236f91c5893f116
|
|
|
report.log (sha3)
|
841 Bytes |
sha256:c7e68641a5b11f864d853da6009407284522ce3fdee44a820cc405d5425b53c4
|
|
|
report.log (sphincsplus)
|
1.45 KB |
sha256:d2d591777f43e954442ec9c13908ad675abf25fec9fb70055da37a9d3ac64add
|
|
|
report.log (stdlib)
|
3.03 KB |
sha256:391ce0300872cb3edd7bfe9c4e0dc120b65a0420ed954c628cb311e96a066375
|
|
|
report.log (unit)
|
1.89 KB |
sha256:e7bacd3b84d167e8f1ffa23e33958de2f81cbfd9cf052f91d5df2f20faa7bd5a
|
|
|
report.log (xmss-security)
|
1.09 KB |
sha256:d02fabe5ca7c9bd7023220f0f12c0f8da585dee1ca749dfbfc3f8f47998f3e08
|
|
|
report.log (xsalsa20)
|
339 Bytes |
sha256:ba62f8e32115511a2fd9e79fd6831258e09c0f09d5f2938d21d3e944ff9a5775
|
|