Skip to content
install

Don't load all preludes if one of them is opened #481

Sign in to view logs

Don't load all preludes if one of them is opened

Don't load all preludes if one of them is opened #481

Triggered via pull request June 20, 2023 16:23
@hra687261hra687261
synchronize #166
hra687261:server-preludes-edit
Status Failure
Total duration 37m 29s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

install.yml

on: pull_request
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

6 errors
install (ocaml-variants.4.10.1+mingw64c, windows-latest)
Process completed with exit code 1.
install (ocaml-variants.4.12.1+mingw64c, windows-latest)
Process completed with exit code 1.
install (ocaml-variants.4.11.2+mingw64c, windows-latest)
Process completed with exit code 1.
install (ocaml-variants.4.14.0+mingw64c, windows-latest)
Process completed with exit code 1.
install (ocaml-variants.4.14.0+flambda+mingw64c, windows-latest)
Process completed with exit code 1.
install (ocaml-variants.4.13.1+mingw64c, windows-latest)
Process completed with exit code 1.