Skip to content
CI

Add a definition of the beta function #91

Sign in to view logs

Add a definition of the beta function

Add a definition of the beta function #91

Re-run triggered October 6, 2023 19:29
@therythery
#76
Casteran:master
Status Success
Total duration 3m 53s
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.