Add some tests for the ADT well-foundedness check #675
GburyAnnotations
1 error and 1 warning
|
install (ocaml-variants.4.13.1+options,system-mingw, windows-latest, dolmen dolmen_type dolmen_lo...
Process completed with exit code 1.
|
|
install (ocaml-variants.4.14.2+options,ocaml-option-flambda,system-mingw, windows-latest, dolmen ...
Failed to save: Unable to reserve cache with key v3-setup-ocaml-cygwin-3.6.1, another job may be creating this cache.
|