Skip to content

runtest: do not try to load pyyaml when reporting is disabled #2215

runtest: do not try to load pyyaml when reporting is disabled

runtest: do not try to load pyyaml when reporting is disabled #2215

Triggered via pull request December 1, 2023 16:45
Status Failure
Total duration 6m 51s
Artifacts 2

ci.yml

on: pull_request
EasyCrypt compilation (opam)
1m 37s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 9s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

1 error

Artifacts

Produced during runtime
Name Size
report.log (examples) Expired
7.03 KB
report.log (stdlib) Expired
16.1 KB