Skip to content
docker CI

Merge pull request #519 from proux01/opam #1380

Sign in to view logs

Merge pull request #519 from proux01/opam

Merge pull request #519 from proux01/opam #1380

Triggered via push February 25, 2025 16:04
@proux01proux01
pushed 7b41a5d
master
Status Success
Total duration 6m 7s
Artifacts –

main.yml

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

Annotations

10 warnings
opam (9.0): HB/structures.v#L24
Coq.Init.Datatypes.None 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#L28
Coq.Init.Datatypes.pair has been replaced by
opam (9.0): HB/structures.v#L29
Coq.Init.Datatypes.prod 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#L31
Coq.ssr.ssreflect.phant 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#L33
Coq.ssr.ssreflect.phantom has been replaced by
opam (9.0): HB/structures.v#L34
Coq.ssr.ssreflect.Phantom has been replaced by
opam (9.0): HB/structures.v#L35
Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.