Skip to content
CI

Replaced Int31 with Uint63 #90

Sign in to view logs

Replaced Int31 with Uint63

Replaced Int31 with Uint63 #90

Triggered via push September 20, 2023 14:01
@therythery
pushed f611fa4
master
Status Success
Total duration 4m 11s
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.