Merge pull request #1015 from SkySkimmer/sort-poly-ind #2535
ppedrotAnnotations
4 errors and 26 warnings
|
build (dev, 4.14-flambda, local)
The job was canceled because "dev_4_14-flambda_quick" failed.
|
|
build (dev, 4.14-flambda, local)
The operation was canceled.
|
|
build (dev, 4.14-flambda, opam)
The job was canceled because "dev_4_14-flambda_quick" failed.
|
|
build (dev, 4.14-flambda, opam)
The operation was canceled.
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, quick)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, quick)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, quick)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, local)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, local)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, opam)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, opam)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, opam)
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
build (dev, 4.14-flambda, opam)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
build (dev, 4.14-flambda, opam)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|