Skip to content

Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep #3137

Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep

Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep #3137

Triggered via push August 24, 2024 11:48
Status Success
Total duration 25m 55s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
2m 51s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 42s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
1s
Check EasyCrypt External Projects (set-status)
Notification
4s
Notification
Fit to window
Zoom out
Zoom in

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
report.log (cryptobox)
412 Bytes
report.log (examples)
1.09 KB
report.log (jasmin-eclib)
470 Bytes
report.log (sha3)
2.8 KB
report.log (sphincsplus)
549 Bytes
report.log (stdlib)
2.24 KB
report.log (unit)
453 Bytes
report.log (xmss-acai)
554 Bytes
report.log (xmss-fsai)
538 Bytes
report.log (xsalsa20)
340 Bytes