Adapt to https://github.com/rocq-prover/stdlib/pull/207 #3171
Triggered via pull request
September 11, 2025 08:08
proux01
Status
Failure
Total duration
16m 2s
Artifacts
–
Annotations
2 errors and 20 warnings
|
build (dev, 4.14-flambda, opam)
The operation was canceled.
|
|
build (dev, 4.14-flambda, opam)
The strategy configuration was canceled because "build.dev_4_14-flambda_local" failed
|
|
build (dev, 4.14-flambda, local)
In term, tolerating this expression at level 55 while it is expected
|
|
build (dev, 4.14-flambda, local)
In term, tolerating this expression at level 70 while it is expected
|
|
build (dev, 4.14-flambda, local)
In term, tolerating this expression at level 60 while it is expected
|
|
build (dev, 4.14-flambda, local)
In term, tolerating this expression at level 55 while it is expected
|
|
build (dev, 4.14-flambda, local)
Using "..." is deprecated, use "; auto." instead
|
|
build (dev, 4.14-flambda, local)
Using "..." is deprecated, use "; auto." instead
|
|
build (dev, 4.14-flambda, local)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, local)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, local)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, local)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
In term, tolerating this expression at level 55 while it is expected
|
|
build (dev, 4.14-flambda, opam)
In term, tolerating this expression at level 70 while it is expected
|
|
build (dev, 4.14-flambda, opam)
In term, tolerating this expression at level 60 while it is expected
|
|
build (dev, 4.14-flambda, opam)
In term, tolerating this expression at level 55 while it is expected
|
|
build (dev, 4.14-flambda, opam)
Using "..." is deprecated, use "; auto." instead
|
|
build (dev, 4.14-flambda, opam)
Using "..." is deprecated, use "; auto." instead
|
|
build (dev, 4.14-flambda, opam)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
Use of "Notation" keyword for abbreviations is deprecated, use
|