Skip to content
OPAM installation

Require qcheck-core.0.23 #371

Sign in to view logs

Require qcheck-core.0.23

Require qcheck-core.0.23 #371

Triggered via pull request December 13, 2024 17:08
@jmidjmid
synchronize #491
require-qcheck-0-23
Status Success
Total duration 2m 43s
Artifacts –

opam.yml

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

Annotations

7 warnings
build-and-test (4.12.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (4.14.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (4.13.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (5.1.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (5.2.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (5.0.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ocaml-variants.5.3.0+trunk)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636