The tactic swap now takes generalized code position.
#3411
strub
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
EasyCrypt compilation (opam)
1m 12s
Fetch EasyCrypt External Projects Matrix
5s
EasyCrypt compilation (nix)
45s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
6s
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
|
409 Bytes |
sha256:7ea8f5e91535d3ab1ca4359905390c85cd7602d434371782a74115c913a26d4f
|
|
|
report.log (examples)
Expired
|
1.1 KB |
sha256:303752a044eac5af02197478dc5b9a3c4bf4ba29f25ccecfe96a0268edcbe7b7
|
|
|
report.log (jasmin-eclib)
Expired
|
466 Bytes |
sha256:d04bcf093cd1eb4481b0a81fa4cb1cceefd8bb38d6075a195860dac11d97d47d
|
|
|
report.log (sha3)
Expired
|
664 Bytes |
sha256:7301a2fb4cd49bd3a9b6e11c31037e91cb41807d82763e0efffd95f6aec34e90
|
|
|
report.log (sphincsplus)
Expired
|
544 Bytes |
sha256:9eb430577cf780d3443fd50086e467804f65536790f89356d8bfcb3687c8b4d4
|
|
|
report.log (stdlib)
Expired
|
2.23 KB |
sha256:b904f8ce205aa871481844ea139247f5ff64441f7d44dd8f5d9658488b992224
|
|
|
report.log (unit)
Expired
|
561 Bytes |
sha256:c1aa565a837dec2beed42df3645198da040f3c3690741fd86b49fc880d1c9f6c
|
|
|
report.log (xmss-acai)
Expired
|
559 Bytes |
sha256:89851a6aa7a4e1c4cead86430edca4a2a399c2ca9da5bc92dc5add773ec633fa
|
|
|
report.log (xmss-fsai)
Expired
|
541 Bytes |
sha256:cab01e7e0bc68d314a9c676d02764c3cae0c5a25c2b3de77196f0e4b19e7ad69
|
|
|
report.log (xsalsa20)
Expired
|
339 Bytes |
sha256:f87fec582fddaf925b7805d6b1eb6b5a8fb97b3e6ea5c7c1cecd90907ae627c2
|
|