Skip to content
Pre Release

Add gzip to prerelease benchmark list #333

Sign in to view logs

Add gzip to prerelease benchmark list

Add gzip to prerelease benchmark list #333

Triggered via pull request November 1, 2024 15:38
@JezurkoJezurko
synchronize #741
gzip-test
Status Cancelled
Total duration 16m 28s
Artifacts 9

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
Fit to window
Zoom out
Zoom in

Annotations

17 errors
Convert results to Markdown (22.04)
Process completed with exit code 1.
Run Linux kernel test suite (19, 22.04, hl, false)
The run was canceled by @Jezurko.
Run Linux kernel test suite (19, 22.04, hl, false)
The operation was canceled.
Run LLVM test suite (19, 22.04, bin, OFF)
The run was canceled by @Jezurko.
Run LLVM test suite (19, 22.04, bin, OFF)
The operation was canceled.
Run LLVM test suite (19, 22.04, llvm, OFF)
The run was canceled by @Jezurko.
Run LLVM test suite (19, 22.04, llvm, OFF)
The operation was canceled.
Run LLVM test suite (19, 22.04, hl, ON)
The run was canceled by @Jezurko.
Run LLVM test suite (19, 22.04, hl, ON)
The operation was canceled.
Run Linux kernel test suite (19, 22.04, hl, true)
The run was canceled by @Jezurko.
Run Linux kernel test suite (19, 22.04, hl, true)
The operation was canceled.
Run LLVM test suite (19, 22.04, hl, OFF)
The run was canceled by @Jezurko.
Run LLVM test suite (19, 22.04, hl, OFF)
The operation was canceled.
Run SV-Comp test suite (19, 22.04, hl, false)
The run was canceled by @Jezurko.
Run SV-Comp test suite (19, 22.04, hl, false)
The operation was canceled.
Run SV-Comp test suite (19, 22.04, hl, true)
The run was canceled by @Jezurko.
Run SV-Comp test suite (19, 22.04, hl, true)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
VAST Expired
69.7 MB
gzip_1.10_hl_with_unsup.tsv Expired
707 Bytes
gzip_1.10_hl_without_unsup.tsv Expired
645 Bytes
gzip_1.10_llvm_with_unsup.tsv Expired
647 Bytes
gzip_1.10_llvm_without_unsup.tsv Expired
622 Bytes
gzip_1.13_hl_with_unsup.tsv Expired
668 Bytes
gzip_1.13_hl_without_unsup.tsv Expired
605 Bytes
gzip_1.13_llvm_with_unsup.tsv Expired
599 Bytes
gzip_1.13_llvm_without_unsup.tsv Expired
588 Bytes