Skip to content
Linux build-test-deploy

Fix typo #390

Sign in to view logs

Fix typo

Fix typo #390

Triggered via push November 12, 2023 17:37
@leventeBajczileventeBajczi
pushed 6a4ac31
xcfa-refactor-benchexec-test
Status Cancelled
Total duration 7m 44s
Artifacts 1

linux-build-test-deploy.yml

on: push
build
5m 45s
build
Matrix: test-docker
deploy-docs
0s
deploy-docs
Matrix: test-linux
Matrix: test-benchexec
javadoc
1m 19s
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

21 errors
test-linux (ubuntu-latest)
The operation was canceled.
test-linux (ubuntu-20.04)
The operation was canceled.
javadoc
The operation was canceled.
test-linux (ubuntu-22.04)
The operation was canceled.
test-benchexec (ConcurrencySafety-MemSafety)
The operation was canceled.
test-benchexec (ReachSafety-Sequentialized)
The operation was canceled.
test-benchexec (ReachSafety-BitVectors)
The operation was canceled.
test-benchexec (ReachSafety-XCSP)
The operation was canceled.
test-benchexec (ReachSafety-Hardware)
The operation was canceled.
test-benchexec (ConcurrencySafety-NoOverflows)
The operation was canceled.
test-benchexec (ReachSafety-Loops)
The operation was canceled.
test-benchexec (ReachSafety-Floats)
The operation was canceled.
test-benchexec (ReachSafety-Heap)
The operation was canceled.
test-benchexec (NoDataRace-Main)
The operation was canceled.
test-benchexec (ReachSafety-Recursive)
The operation was canceled.
test-benchexec (ReachSafety-Arrays)
The operation was canceled.
test-benchexec (ReachSafety-ECA)
The operation was canceled.
test-benchexec (ReachSafety-ProductLines)
The operation was canceled.
test-benchexec (ReachSafety-ControlFlow)
The operation was canceled.
test-benchexec (ConcurrencySafety-Main)
The operation was canceled.
test-benchexec (ReachSafety-Combinations)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ThetaJars Expired
302 MB