Skip to content

github-ci: add var to disable rpm builds #5030

github-ci: add var to disable rpm builds

github-ci: add var to disable rpm builds #5030

Ubuntu 20.04 (-DNDEBUG)

succeeded Feb 24, 2025 in 10m 45s