Skip to content

Bump actions/download-artifact and actions/upload-artifact from 3 to 4 #555

Bump actions/download-artifact and actions/upload-artifact from 3 to 4

Bump actions/download-artifact and actions/upload-artifact from 3 to 4 #555

Triggered via pull request December 15, 2023 15:35
Status Cancelled
Total duration 45s
Artifacts

coq.yml

on: pull_request
Matrix: build
check-all
0s
check-all
deploy
0s
deploy
deploy-history
0s
deploy-history
Fit to window
Zoom out
Zoom in

Annotations

25 errors
build (8.16)
Canceling since a higher priority waiting request for 'CI (Coq)-8.16-upload-download' exists
build (8.16)
The operation was canceled.
build (8.17)
Canceling since a higher priority waiting request for 'CI (Coq)-8.17-upload-download' exists
build (8.17)
The operation was canceled.
build (8.15)
Canceling since a higher priority waiting request for 'CI (Coq)-8.15-upload-download' exists
build (8.15)
The operation was canceled.
build (8.14)
Canceling since a higher priority waiting request for 'CI (Coq)-8.14-upload-download' exists
build (8.14)
The operation was canceled.
build (8.8)
Canceling since a higher priority waiting request for 'CI (Coq)-8.8-upload-download' exists
build (8.8)
The operation was canceled.
build (8.10)
Canceling since a higher priority waiting request for 'CI (Coq)-8.10-upload-download' exists
build (8.10)
The operation was canceled.
build (8.9)
Canceling since a higher priority waiting request for 'CI (Coq)-8.9-upload-download' exists
build (8.9)
The operation was canceled.
build (8.13)
Canceling since a higher priority waiting request for 'CI (Coq)-8.13-upload-download' exists
build (8.13)
The operation was canceled.
build (8.11)
Canceling since a higher priority waiting request for 'CI (Coq)-8.11-upload-download' exists
build (8.11)
The operation was canceled.
build (8.12)
Canceling since a higher priority waiting request for 'CI (Coq)-8.12-upload-download' exists
build (8.12)
The operation was canceled.
build (8.18)
Canceling since a higher priority waiting request for 'CI (Coq)-8.18-upload-download' exists
build (8.18)
The operation was canceled.
build (dev)
Canceling since a higher priority waiting request for 'CI (Coq)-dev-upload-download' exists
build (dev)
The operation was canceled.
check-all
Process completed with exit code 1.