Skip to content

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

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

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

coverage build

succeeded Jan 22, 2024 in 10m 59s