Skip to content
Container

fix(cadical): use patches insteads of own repos #59

Sign in to view logs

fix(cadical): use patches insteads of own repos

fix(cadical): use patches insteads of own repos #59

Triggered via push October 15, 2024 10:02
@uulm-janbaudischuulm-janbaudisch
pushed e2022eb
projected-dpll
Status Success
Total duration 44m 16s
Artifacts –

Container.yaml

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