Skip to content
Builds, tests & co

Set log dir as temporary directory on safe mode #4124

Sign in to view logs

Set log dir as temporary directory on safe mode

Set log dir as temporary directory on safe mode #4124

Solvers-macOS (z3, 5.3.0)

Solvers-macOS (z3, 5.3.0)
succeeded Feb 28, 2025 in 1m 7s