Skip to content
CI

checking 8.17 #85

Sign in to view logs

checking 8.17

checking 8.17 #85

Triggered via push June 16, 2023 14:53
@therythery
pushed e215423
coq8_17
Status Failure
Total duration 3m 35s
Artifacts –

build.yml

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

Annotations

10 warnings
build (dev, default): src/Coqprime/List/Permutation.v#L97
permutation_one_inv_aux is declared opaque (Qed) but this is not
build (dev, default): src/Coqprime/List/Permutation.v#L138
Notation app_nil_end is deprecated since 8.18.
build (dev, default): src/Coqprime/List/Permutation.v#L138
Notation app_nil_end is deprecated since 8.18.
build (dev, default): src/Coqprime/List/Permutation.v#L138
Notation app_nil_end is deprecated since 8.18.
build (dev, default): src/Coqprime/List/Permutation.v#L151
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
build (dev, default): src/Coqprime/List/Permutation.v#L151
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
build (dev, default): src/Coqprime/List/Permutation.v#L152
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
build (dev, default): src/Coqprime/List/Permutation.v#L152
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
build (dev, default): src/Coqprime/List/Permutation.v#L167
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
build (dev, default): src/Coqprime/List/Permutation.v#L167
Notation app_ass is deprecated since 8.18. Use app_assoc instead.