Skip to content

Generate code for SM2 #913

Generate code for SM2

Generate code for SM2 #913

Re-run triggered August 15, 2024 16:19
Status Failure
Total duration 2h 47m 54s
Artifacts

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
publish-standalone-dry-run
0s
publish-standalone-dry-run
debian-check-all
0s
debian-check-all
Fit to window
Zoom out
Zoom in

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.