Skip to content
docker CI

Drop 8.20 from CI #1514

Sign in to view logs

Drop 8.20 from CI

Drop 8.20 from CI #1514

Triggered via pull request October 28, 2025 19:05
@garesgares
opened #565
gares-patch-1
Status Success
Total duration 4m 59s
Artifacts –

main.yml

on: pull_request
Matrix: opam
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
opam (9.0): HB/structures.v#L35
Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.
opam (9.0): HB/structures.v#L34
Coq.ssr.ssreflect.Phantom has been replaced by
opam (9.0): HB/structures.v#L33
Coq.ssr.ssreflect.phantom has been replaced by
opam (9.0): HB/structures.v#L32
Coq.ssr.ssreflect.Phant has been replaced by
opam (9.0): HB/structures.v#L31
Coq.ssr.ssreflect.phant has been replaced by
opam (9.0): HB/structures.v#L30
Coq.Init.Specif.sigT has been replaced by Corelib.Init.Specif.sigT.
opam (9.0): HB/structures.v#L29
Coq.Init.Datatypes.prod has been replaced by
opam (9.0): HB/structures.v#L28
Coq.Init.Datatypes.pair has been replaced by
opam (9.0): HB/structures.v#L27
Coq.Init.Datatypes.Some has been replaced by
opam (9.0): HB/structures.v#L24
Coq.Init.Datatypes.None has been replaced by
opam (9.1): HB/structures.v#L35
Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.
opam (9.1): HB/structures.v#L34
Coq.ssr.ssreflect.Phantom has been replaced by
opam (9.1): HB/structures.v#L33
Coq.ssr.ssreflect.phantom has been replaced by
opam (9.1): HB/structures.v#L32
Coq.ssr.ssreflect.Phant has been replaced by
opam (9.1): HB/structures.v#L31
Coq.ssr.ssreflect.phant has been replaced by
opam (9.1): HB/structures.v#L30
Coq.Init.Specif.sigT has been replaced by Corelib.Init.Specif.sigT.
opam (9.1): HB/structures.v#L29
Coq.Init.Datatypes.prod has been replaced by
opam (9.1): HB/structures.v#L28
Coq.Init.Datatypes.pair has been replaced by
opam (9.1): HB/structures.v#L27
Coq.Init.Datatypes.Some has been replaced by
opam (9.1): HB/structures.v#L24
Coq.Init.Datatypes.None has been replaced by