XCFA-refactor 2023 [draft] #417
leventeBajczilinux-build-test-deploy.yml
on: pull_request
Matrix: deploy-docker
collect-results
0s
Annotations
9 errors
|
test-linux (ubuntu-latest)
Gradle build failed: see console output for details
|
|
test-linux (ubuntu-20.04)
Gradle build failed: see console output for details
|
|
test-linux (ubuntu-22.04)
Gradle build failed: see console output for details
|
|
test-benchexec (ReachSafety-Combinations)
The operation was canceled.
|
|
test-benchexec (ReachSafety-Loops)
The operation was canceled.
|
|
test-benchexec (ReachSafety-Sequentialized)
The operation was canceled.
|
|
test-benchexec (ReachSafety-ECA)
The operation was canceled.
|
|
test-benchexec (ReachSafety-Arrays)
The operation was canceled.
|
|
test-benchexec (ReachSafety-Hardware)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults-ConcurrencySafety-Main
Expired
|
22.8 KB |
|
|
BenchexecResults-ConcurrencySafety-MemSafety
Expired
|
22.8 KB |
|
|
BenchexecResults-ConcurrencySafety-NoOverflows
Expired
|
22.7 KB |
|
|
BenchexecResults-NoDataRace-Main
Expired
|
22.7 KB |
|
|
BenchexecResults-ReachSafety-BitVectors
Expired
|
18.5 KB |
|
|
BenchexecResults-ReachSafety-ControlFlow
Expired
|
20.8 KB |
|
|
BenchexecResults-ReachSafety-Floats
Expired
|
16.1 KB |
|
|
BenchexecResults-ReachSafety-Heap
Expired
|
36 KB |
|
|
BenchexecResults-ReachSafety-Recursive
Expired
|
17 KB |
|
|
BenchexecResults-ReachSafety-XCSP
Expired
|
17 KB |
|
|
ThetaJars
Expired
|
302 MB |
|