Skip to content
Linux build-test-deploy

Updated version in action #561

Sign in to view logs

Updated version in action

Updated version in action #561

Triggered via push January 7, 2024 20:05
@leventeBajczileventeBajczi
pushed f090743
xcfa-refactor
Status Failure
Total duration 12m 5s
Artifacts 3

linux-build-test-deploy.yml

on: push
build
5m 2s
build
Matrix: test-docker
deploy-docs
0s
deploy-docs
Matrix: test-linux
Matrix: test-benchexec
create-archives
3m 8s
create-archives
javadoc
4m 13s
javadoc
Matrix: deploy-docker
deploy-release
0s
deploy-release
deploy-maven
0s
deploy-maven
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

18 errors
test-benchexec (ReachSafety-Combinations)
Process completed with exit code 1.
test-benchexec (ReachSafety-ECA)
Process completed with exit code 1.
test-benchexec (ReachSafety-ControlFlow)
Process completed with exit code 1.
test-benchexec (ReachSafety-Floats)
Process completed with exit code 1.
test-benchexec (ReachSafety-Heap)
Process completed with exit code 1.
test-benchexec (ReachSafety-Heap)
The job was canceled because "ReachSafety-Combinations" failed.
test-benchexec (ReachSafety-Loops)
Process completed with exit code 1.
test-benchexec (ReachSafety-BitVectors)
Process completed with exit code 1.
test-benchexec (ReachSafety-Recursive)
Process completed with exit code 1.
test-benchexec (ReachSafety-ProductLines)
Process completed with exit code 1.
test-benchexec (ReachSafety-XCSP)
The operation was canceled.
test-benchexec (ConcurrencySafety-NoOverflows)
The operation was canceled.
test-benchexec (NoDataRace-Main)
The operation was canceled.
test-benchexec (ConcurrencySafety-MemSafety)
The operation was canceled.
test-benchexec (ReachSafety-Arrays)
The operation was canceled.
test-benchexec (ConcurrencySafety-Main)
The operation was canceled.
test-benchexec (ReachSafety-Hardware)
The operation was canceled.
test-benchexec (ReachSafety-Sequentialized)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
EmergenTheta_SV-COMP Expired
210 MB
ThetaJars Expired
235 MB
Theta_SV-COMP Expired
210 MB