docs: add docs for proofs commands #1360
th7nderci.yaml
on: pull_request
Annotations
2 errors
|
clippy_build_and_test
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
clippy_build_and_test
The operation was canceled.
|