Skip to content
Ubuntu 22.04 build (solver only)

Added skip-man option to build script (needed for Jenkins builds) #21

Sign in to view logs

Added skip-man option to build script (needed for Jenkins builds)

Added skip-man option to build script (needed for Jenkins builds) #21

Triggered via push February 9, 2025 09:40
@ghorwinghorwin
pushed 1bc931c
master
Status Success
Total duration 1m 2s
Artifacts –

ubuntu_22.04_Build_Solver.yml

on: push
build
52s
build
Fit to window
Zoom out
Zoom in