Skip to content

New vernacular command: eval #2931

New vernacular command: eval

New vernacular command: eval #2931

Triggered via push June 24, 2024 20:12
Status Success
Total duration 6m 23s
Artifacts 7

ci.yml

on: push
Check for Duplicates Jobs
6s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 1s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 6s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
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) Expired
406 Bytes
report.log (examples) Expired
1.1 KB
report.log (jasmin-eclib) Expired
469 Bytes
report.log (sha3) Expired
2.61 KB
report.log (stdlib) Expired
2.21 KB
report.log (unit) Expired
468 Bytes
report.log (xsalsa20) Expired
338 Bytes