Skip to content

WIP - added option to not expand abbrevs, need to fix strange print b… #2786

WIP - added option to not expand abbrevs, need to fix strange print b…

WIP - added option to not expand abbrevs, need to fix strange print b… #2786

Triggered via push May 7, 2024 19:43
Status Success
Total duration 2h 2m 34s
Artifacts 8

ci.yml

on: push
Check for Duplicates Jobs
7s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 39s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
2m 33s
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)
2s
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)
409 Bytes
report.log (examples)
1.09 KB
report.log (jasmin-eclib)
462 Bytes
report.log (ml-kem)
1.37 KB
report.log (sha3)
2.61 KB
report.log (stdlib)
2.21 KB
report.log (unit)
426 Bytes
report.log (xsalsa20)
337 Bytes