Skip to content
EasyCrypt compilation & check

Internal API: process_Xhl_* #2292

Sign in to view logs

Internal API: process_Xhl_*

Internal API: process_Xhl_* #2292

Triggered via pull request December 6, 2023 16:36
@strubstrub
opened #486
process_Xhl_API
Status Failure
Total duration 1m 47s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
EasyCrypt compilation (opam)
1m 37s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 1s
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
EasyCrypt compilation (nix)
Process completed with exit code 1.
EasyCrypt compilation (opam)
Process completed with exit code 2.