Skip to content

[ci] dump & upload errors #2761

[ci] dump & upload errors

[ci] dump & upload errors #2761

Triggered via push April 22, 2024 13:28
Status Success
Total duration 2h 14m 10s
Artifacts 7

ci.yml

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

Annotations

1 warning
Notification
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: technote-space/workflow-conclusion-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
406 Bytes
report.log (examples)
1.1 KB
report.log (jasmin-eclib)
463 Bytes
report.log (ml-kem)
1.37 KB
report.log (sha3)
2.6 KB
report.log (stdlib)
2.2 KB
report.log (unit)
425 Bytes