Skip to content

[RHEL-CI] Rename workflow and don't run on push #1102

[RHEL-CI] Rename workflow and don't run on push

[RHEL-CI] Rename workflow and don't run on push #1102

coverage build

succeeded Jan 22, 2024 in 10m 28s