Generate code for SM2 #913
coq-debian.yml
on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
0s
Annotations
3 errors
debian-sid
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
debian-sid
Process completed with exit code 137.
|
debian-check-all
Process completed with exit code 1.
|