Skip to content

[external ci] add xsalsa security #2769

[external ci] add xsalsa security

[external ci] add xsalsa security #2769

Triggered via push April 22, 2024 20:01
Status Success
Total duration 2h 4m 12s
Artifacts 8

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 36s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 9s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
4s
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)
404 Bytes
report.log (examples)
1.09 KB
report.log (jasmin-eclib)
459 Bytes
report.log (ml-kem)
1.36 KB
report.log (sha3)
2.6 KB
report.log (stdlib)
2.21 KB
report.log (unit)
425 Bytes
report.log (xsalsa20)
333 Bytes