[ci]: test Coq 8.20 instead of 8.19 #213
Annotations
3 warnings
build-vos (dev):
new/proof/etcdraft.v#L157
Unused variable: x.
|
build (dev):
new/proof/etcdraft.v#L157
Unused variable: x.
|
build (8.20):
new/proof/etcdraft.v#L157
Unused variable: x.
|