Skip to content
CI

Add a definition of the beta function #94

Sign in to view logs

Add a definition of the beta function

Add a definition of the beta function #94

Triggered via push March 19, 2024 15:54
@therythery
pushed d5935ca
v8.19
Status Success
Total duration 3m 17s
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#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.
build (dev, default): src/Coqprime/List/Permutation.v#L167
Notation app_ass is deprecated since 8.18. Use app_assoc instead.