Update github actions artifact to version 4.1.7 (#795) #1103
Annotations
10 warnings
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Run coq-community/docker-coq-action@v1
Automatically putting void1 in Prop even though it was declared with
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Run coq-community/docker-coq-action@v1
Automatically putting PER in Prop even though it was declared with
|
Run coq-community/docker-coq-action@v1
Automatically putting Preorder in Prop even though it was declared
|
Run coq-community/docker-coq-action@v1
Automatically putting EquivalenceH in Prop even though it was
|
Run coq-community/docker-coq-action@v1
"From Coq" has been replaced by "From Stdlib".
|
Loading