Add gzip to prerelease benchmark list #334
prerelease.yml
on: pull_request
Matrix: Pre Release
Matrix: Run gzip translation
Matrix: Run Linux kernel test suite
Matrix: Run LLVM test suite
Matrix: Run SV-Comp test suite
Matrix: Convert results to Markdown
Matrix: Convert Linux Kernel benchmark results to Markdown
Matrix: Eval LLVM Singlesource results
Matrix: Eval SV-Comp test results
Matrix: Build VAST doc
Annotations
16 errors
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
VAST
Expired
|
69.7 MB |
|
gzip_1.10_hl_with_unsup.tsv
Expired
|
704 Bytes |
|
gzip_1.10_hl_without_unsup.tsv
Expired
|
649 Bytes |
|
gzip_1.10_llvm_with_unsup.tsv
Expired
|
648 Bytes |
|
gzip_1.10_llvm_without_unsup.tsv
Expired
|
620 Bytes |
|
gzip_1.13_hl_with_unsup.tsv
Expired
|
661 Bytes |
|
gzip_1.13_hl_without_unsup.tsv
Expired
|
609 Bytes |
|
gzip_1.13_llvm_with_unsup.tsv
Expired
|
604 Bytes |
|
gzip_1.13_llvm_without_unsup.tsv
Expired
|
587 Bytes |
|
results-llvm-ts-hl-with-unsup
Expired
|
57.5 KB |
|