Skip to content
CI

Replaced Int31 with Uint63 #89

Sign in to view logs

Replaced Int31 with Uint63

Replaced Int31 with Uint63 #89

Re-run triggered September 14, 2023 01:08
@therythery
#72
Villetaneuse:remove_Int31
Status Success
Total duration 3m 46s
Artifacts –

build.yml

on: pull_request
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.