Skip to content
CI

changes #795

Sign in to view logs

changes

changes #795

Triggered via push November 7, 2025 01:00
@jwiegleyjwiegley
pushed d0677e6
johnw/update
Status Success
Total duration 20m 48s
Artifacts –

coq-ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
build (coqorg/coq:8.20): Theory/Isomorphism.v#L148
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Isomorphism.v#L147
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L185
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L184
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L183
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L182
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L181
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L71
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Theory/Category.v#L70
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.20): Lib/Setoid.v#L5
Alternatives to Fin.t are available, see
build (coqorg/coq:8.19): Theory/Functor.v#L47
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Isomorphism.v#L148
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Isomorphism.v#L147
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L185
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L184
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L183
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L182
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L181
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L71
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build (coqorg/coq:8.19): Theory/Category.v#L70
The '%' scope delimiter in 'Arguments' commands is deprecated, use