Skip to content
Mirroring

[batch] fix windows build #5091

Sign in to view logs

[batch] fix windows build

[batch] fix windows build #5091

Triggered via push November 19, 2024 07:44
@MarcelKochMarcelKoch
pushed bdf51dc
split-batched-solver-compilation
Status Success
Total duration 27s
Artifacts –

mirror.yml

on: push
to_gitlab
16s
to_gitlab
Fit to window
Zoom out
Zoom in