Consistently use `Recv`.
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
build-coq.8.10.1 | Build | There has been a runner system failure, please try again | |
|
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
build-coq.8.10.1 | Build | There has been a runner system failure, please try again | |
|