Skip to content
Back to pull request #1113

Improve evar handling in tmUnquote/tmUnquoteTyped #2877

Sign in to view logs

Improve evar handling in tmUnquote/tmUnquoteTyped

Improve evar handling in tmUnquote/tmUnquoteTyped #2877

Triggered via pull request November 4, 2024 11:41
@MathisBDMathisBD
opened #1113
MathisBD:tm-unquote-evars
Status Success
Total duration 30m 43s
Artifacts –

build.yml

on: pull_request
checktodos
6s
checktodos
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.14-flambda, local)
Coq.ssr has been replaced by Stdlib.ssr.
build (dev, 4.14-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, opam)
Coq.ssr has been replaced by Stdlib.ssr.
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".
build (dev, 4.09-flambda, local)
Coq.ssr has been replaced by Stdlib.ssr.
build (dev, 4.09-flambda, local)
"From Coq" has been replaced by "From Stdlib".