Improve code positions (match + extended assignments) #3415
Cameron-Low
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
EasyCrypt compilation (opam)
1m 14s
Fetch EasyCrypt External Projects Matrix
4s
EasyCrypt compilation (nix)
1m 38s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
5s
Annotations
1 warning
|
Notification
The following actions use a deprecated Node.js version and will be forced to run on node20: technote-space/workflow-conclusion-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
Expired
|
410 Bytes |
sha256:69b9e43c27d75548aa1a6b523a84dc5710350d7511128d76f71689a5400c2f53
|
|
|
report.log (examples)
Expired
|
1.1 KB |
sha256:70a467f394e25f60d1cc8429fab66d70b4a16a175af92d19fee5c9f0a2110277
|
|
|
report.log (jasmin-eclib)
Expired
|
466 Bytes |
sha256:9d712823bb342de94fc25ae8c831cd71026eeb53cef4840a2eb07a8af31436b3
|
|
|
report.log (sha3)
Expired
|
667 Bytes |
sha256:1ec477978d1ffa359d9ef3e3e86ae85300ae3fd90160226d1dcfe315a3aeaf40
|
|
|
report.log (sphincsplus)
Expired
|
549 Bytes |
sha256:be6829bb901522f124073453f0f5555b4efe7fb41c4988cbd9346859042dcde0
|
|
|
report.log (stdlib)
Expired
|
2.23 KB |
sha256:aac219e54fd04c141287d9407668ec605f64c7e5e370c2d4376937b336ad3ba1
|
|
|
report.log (unit)
Expired
|
560 Bytes |
sha256:d6bcca8f9e4b68ef165f1c3b2a0d717d0f7c5ebd3f7f122a23bc79d3c58757a1
|
|
|
report.log (xmss-acai)
Expired
|
563 Bytes |
sha256:dfe497ae256761434072b34e57f190dd09fc61e6c654f10899698078dfe38659
|
|
|
report.log (xmss-fsai)
Expired
|
539 Bytes |
sha256:bafb0906c89c1b5ced1b43d82b558caa5a11722d5089836bc30ce55eb9a0947b
|
|
|
report.log (xsalsa20)
Expired
|
340 Bytes |
sha256:4efac2d4210d81d6244964fa7e561e629a956898e77481fe1d87820c6b22415f
|
|