Skip to content
SV-Comp test suite

Testing LLVM SV-Comp test-suite run #8

Sign in to view logs

Testing LLVM SV-Comp test-suite run

Testing LLVM SV-Comp test-suite run #8

Triggered via pull request May 8, 2024 09:39
@JezurkoJezurko
opened #582
ci-improve
Status Failure
Total duration 6h 8m 11s
Artifacts 2

svcomp.yml

on: pull_request
Matrix: Build
Matrix: Run SV-Comp test suite
Matrix: Eval SV-Comp test results
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Run SV-Comp test suite (18, 22.04, llvm)
The job running on runner GitHub Actions 31 has exceeded the maximum execution time of 360 minutes.
Run SV-Comp test suite (18, 22.04, llvm)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
VAST Expired
71.6 MB
results-sv-hl Expired
123 KB