10->25 #356
leventeBajczilinux-build-test-deploy.yml
on: push
Matrix: deploy-docker
collect-results
56s
Annotations
1 warning
|
collect-results
No files were found with the provided path: results. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults-ConcurrencySafety-Main
Expired
|
19.5 KB |
|
|
BenchexecResults-ConcurrencySafety-MemSafety
Expired
|
21.6 KB |
|
|
BenchexecResults-ConcurrencySafety-NoOverflows
Expired
|
23.1 KB |
|
|
BenchexecResults-NoDataRace-Main
Expired
|
24.3 KB |
|
|
BenchexecResults-ReachSafety-Arrays
Expired
|
23.7 KB |
|
|
BenchexecResults-ReachSafety-BitVectors
Expired
|
14.8 KB |
|
|
BenchexecResults-ReachSafety-Combinations
Expired
|
26.1 KB |
|
|
BenchexecResults-ReachSafety-ControlFlow
Expired
|
10.5 KB |
|
|
BenchexecResults-ReachSafety-ECA
Expired
|
23.8 KB |
|
|
BenchexecResults-ReachSafety-Floats
Expired
|
24.3 KB |
|
|
BenchexecResults-ReachSafety-Hardware
Expired
|
26.6 KB |
|
|
BenchexecResults-ReachSafety-Heap
Expired
|
24.4 KB |
|
|
BenchexecResults-ReachSafety-Loops
Expired
|
23.3 KB |
|
|
BenchexecResults-ReachSafety-ProductLines
Expired
|
24.4 KB |
|
|
BenchexecResults-ReachSafety-Recursive
Expired
|
22.5 KB |
|
|
BenchexecResults-ReachSafety-Sequentialized
Expired
|
27.2 KB |
|
|
BenchexecResults-ReachSafety-XCSP
Expired
|
23.4 KB |
|
|
ThetaJars
Expired
|
302 MB |
|