Skip to content

107-smart-ite: fix timeout for SMT/OMT #292

107-smart-ite: fix timeout for SMT/OMT

107-smart-ite: fix timeout for SMT/OMT #292

Triggered via push September 26, 2024 08:47
Status Success
Total duration 5m 52s
Artifacts

haskell-ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in