Skip to content

Specifications can be terser through more type trickery #290

Specifications can be terser through more type trickery

Specifications can be terser through more type trickery #290

Triggered via pull request April 26, 2024 15:15
Status Failure
Total duration 5m 28s
Artifacts

opam.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

11 errors
build-and-test (4.13.x)
Process completed with exit code 31.
build-and-test (4.14.x)
The job was canceled because "_4_13_x" failed.
build-and-test (4.14.x)
The operation was canceled.
build-and-test (5.0.0)
The job was canceled because "_4_13_x" failed.
build-and-test (5.0.0)
The operation was canceled.
build-and-test (5.1.0)
The job was canceled because "_4_13_x" failed.
build-and-test (5.1.0)
The operation was canceled.
build-and-test (4.12.x)
The job was canceled because "_4_13_x" failed.
build-and-test (4.12.x)
The operation was canceled.
build-and-test (ocaml-variants.5.2.0+trunk)
The job was canceled because "_4_13_x" failed.
build-and-test (ocaml-variants.5.2.0+trunk)
The operation was canceled.