Skip to content

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 #25

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 #25

Triggered via pull request September 3, 2024 04:06
Status Failure
Total duration 1h 56m 36s
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.