Add gzip to prerelease benchmark list #332
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
22 errors
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
VAST
Expired
|
69.7 MB |
|
gzip_1.10_hl_without_unsup.tsv
Expired
|
651 Bytes |
|
gzip_1.10_llvm_without_unsup.tsv
Expired
|
622 Bytes |
|
gzip_1.13_hl_without_unsup.tsv
Expired
|
610 Bytes |
|
gzip_1.13_llvm_without_unsup.tsv
Expired
|
586 Bytes |
|