Skip to content

Update README.md

Update README.md #879

Triggered via push March 25, 2024 15:14
Status Cancelled
Total duration 46s
Artifacts
Matrix: test-docker
deploy-docs
25s
deploy-docs
Matrix: test-linux
create-archives
0s
create-archives
javadoc
0s
javadoc
Matrix: deploy-docker
deploy-release
0s
deploy-release
deploy-maven
0s
deploy-maven
Matrix: test-benchexec
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

12 errors
build
Canceling since a higher priority waiting request for 'deploy--push' exists
deploy-docs
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-sts-cli)
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-sts-cli)
The operation was canceled.
test-docker (theta-xcfa-cli)
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-xcfa-cli)
The operation was canceled.
test-docker (theta-xsts-cli)
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-xsts-cli)
The operation was canceled.
test-docker (theta-cfa-cli)
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-cfa-cli)
The operation was canceled.
test-docker (theta-xta-cli)
Canceling since a higher priority waiting request for 'deploy--push' exists
test-docker (theta-xta-cli)
The operation was canceled.