CI (Coq, Debian) #24
JasonGrosscoq-debian.yml
on: schedule
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
debian-check-all
3s
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.
|