Skip to content
Windows CI

add timeout keyword to set-option in the smt2 frontend #112

Sign in to view logs

add timeout keyword to set-option in the smt2 frontend

add timeout keyword to set-option in the smt2 frontend #112

Triggered via pull request September 5, 2024 21:42
@ahmed-irfanahmed-irfan
synchronize #527
smt2-set-option-timeout
Status Success
Total duration 19m 4s
Artifacts –

windows_ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in