Skip to content
Linux build-test-deploy

draft for rewriting a non-timed xta to xcfa #1889

Sign in to view logs

draft for rewriting a non-timed xta to xcfa

draft for rewriting a non-timed xta to xcfa #1889

Triggered via push November 28, 2024 14:21
@szdan97szdan97
pushed 4120e8c
xta-to-xcfa-experiment
Status Cancelled
Total duration 4m 55s
Artifacts 1

linux-build-test-deploy.yml

on: push
build
4m 38s
build
Matrix: test-docker
create-spec-transformation
16s
create-spec-transformation
deploy-maven
0s
deploy-maven
deploy-docs
20s
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

6 errors
build
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists
test-docker (theta-xsts-cli)
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists
test-docker (theta-cfa-cli)
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists
test-docker (theta-xcfa-cli)
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists
test-docker (theta-sts-cli)
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists
test-docker (theta-xta-cli)
Canceling since a higher priority waiting request for 'deploy-refs/heads/xta-to-xcfa-experiment-push' exists

Artifacts

Produced during runtime
Name Size
specification-transformation
58 MB