Skip to content

Replace broken pipelines with Github workflows #87

Replace broken pipelines with Github workflows

Replace broken pipelines with Github workflows #87

build (ubuntu-latest, Debug)

succeeded Oct 11, 2024 in 4m 21s