Skip to content
CI

Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) #627

Sign in to view logs

Adapt to coq/coq#20069 (set_leq_sort doesn't need an env)

Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) #627

Triggered via pull request January 22, 2025 11:19
@SkySkimmerSkySkimmer
opened #630
SkySkimmer:set-leq-noenv
Status Failure
Total duration 7m 24s
Artifacts –

build.yml

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

Annotations

3 warnings
build (dev, 4.09-flambda, local)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (dev, 4.09-flambda, hott)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (dev, 4.09-flambda, dune)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636