Skip to content

DistrMatrix

DistrMatrix #3285

Triggered via push September 30, 2024 12:13
Status Success
Total duration 23m 19s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
8s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 14s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
8s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 16s
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
3s
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) Expired
409 Bytes
report.log (examples) Expired
1.13 KB
report.log (jasmin-eclib) Expired
466 Bytes
report.log (sha3) Expired
2.8 KB
report.log (sphincsplus) Expired
545 Bytes
report.log (stdlib) Expired
2.25 KB
report.log (unit) Expired
481 Bytes
report.log (xmss-acai) Expired
558 Bytes
report.log (xmss-fsai) Expired
540 Bytes
report.log (xsalsa20) Expired
339 Bytes