Skip to content
EasyCrypt compilation & check

parsing for mem_restr #2762

Sign in to view logs

parsing for mem_restr

parsing for mem_restr #2762

Triggered via push April 22, 2024 13:30
@bgregoirbgregoir
pushed cfc42a6
deploy-easyPQC
Status Failure
Total duration 2m 4s
Artifacts –

ci.yml

on: push
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 42s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
58s
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 (nix)
Process completed with exit code 2.
EasyCrypt compilation (opam)
Process completed with exit code 2.
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/.
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/.