Skip to content

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

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

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

coverage build

succeeded Jan 22, 2024 in 10m 57s