Skip to content
EasyCrypt compilation & check

deps #3129

Sign in to view logs

deps

deps #3129

Triggered via push August 23, 2024 15:08
@strubstrub
pushed 54ed6a0
bdep
Status Failure
Total duration 2m 41s
Artifacts –

ci.yml

on: push
Check for Duplicates Jobs
7s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 39s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 15s
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
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

2 errors
EasyCrypt compilation (opam)
Process completed with exit code 2.
EasyCrypt compilation (nix)
Process completed with exit code 2.