Skip to content

Ci update

Ci update #1789

Triggered via pull request November 12, 2024 17:25
Status Cancelled
Total duration 3m 3s
Artifacts

linux-build-test-deploy.yml

on: pull_request
Matrix: test-docker
create-spec-transformation
0s
create-spec-transformation
deploy-maven
0s
deploy-maven
deploy-docs
0s
deploy-docs
Matrix: test-linux
javadoc
0s
javadoc
Matrix: create-archives
Matrix: deploy-docker
Matrix: test-benchexec
deploy-release
0s
deploy-release
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

8 errors
create-spec-transformation
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
test-docker (theta-cfa-cli)
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
build
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
test-docker (theta-sts-cli)
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
deploy-docs
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
test-docker (theta-xta-cli)
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
test-docker (theta-xsts-cli)
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists
test-docker (theta-xcfa-cli)
Canceling since a higher priority waiting request for 'deploy-refs/pull/323/merge-pull_request' exists