Skip to content
EasyCrypt compilation & check

progress #2758

Sign in to view logs

progress

progress #2758

Triggered via push April 22, 2024 13:15
@bgregoirbgregoir
pushed 919650b
deploy-easyPQC
Status Failure
Total duration 1m 18s
Artifacts –

ci.yml

on: push
Check for Duplicates Jobs
4s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
50s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
57s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
EasyCrypt compilation (opam)
Process completed with exit code 40.
EasyCrypt compilation (nix)
Process completed with exit code 2.
EasyCrypt compilation (opam)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
EasyCrypt compilation (nix)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.