Skip to content

internal: stable ordering of globals components #3215

internal: stable ordering of globals components

internal: stable ordering of globals components #3215

Triggered via push September 23, 2024 08:08
Status Success
Total duration 23m 35s
Artifacts 10

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 12s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 40s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
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)
408 Bytes
report.log (examples)
1.12 KB
report.log (jasmin-eclib)
470 Bytes
report.log (sha3)
2.81 KB
report.log (sphincsplus)
545 Bytes
report.log (stdlib)
2.26 KB
report.log (unit)
482 Bytes
report.log (xmss-acai)
559 Bytes
report.log (xmss-fsai)
541 Bytes
report.log (xsalsa20)
339 Bytes