Skip to content

remove some edgy SMTs in Xreal and related #3143

remove some edgy SMTs in Xreal and related

remove some edgy SMTs in Xreal and related #3143

Triggered via push August 27, 2024 11:44
Status Success
Total duration 23m 13s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
7s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 8s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 35s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
4s
Check EasyCrypt External Projects (set-status)
Notification
6s
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)
410 Bytes
report.log (examples)
1.1 KB
report.log (jasmin-eclib)
470 Bytes
report.log (sha3)
2.8 KB
report.log (sphincsplus)
546 Bytes
report.log (stdlib)
2.23 KB
report.log (unit)
454 Bytes
report.log (xmss-acai)
554 Bytes
report.log (xmss-fsai)
539 Bytes
report.log (xsalsa20)
339 Bytes