Skip to content
Build

gh: Bump sv-comp test suite time limit. #1119

Sign in to view logs

gh: Bump sv-comp test suite time limit.

gh: Bump sv-comp test suite time limit. #1119

build (17, 22.04, Debug, ON)

build (17, 22.04, Debug, ON)
succeeded Apr 22, 2024 in 8m 29s