Bump actions/checkout from 2 to 4 (#10) #145
Annotations
10 warnings
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
Unused variable: v.
|
|
make coq
Unused variable: v.
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
|
make coq
"From Coq" has been replaced by "From Stdlib".
|
Loading