Skip to content

Replace broken pipelines with Github workflows #17

Replace broken pipelines with Github workflows

Replace broken pipelines with Github workflows #17

build (ubuntu-latest, Debug)

succeeded Oct 10, 2024 in 4m 0s