Skip to content

QE: Remove duplicate Leap reposync #18

QE: Remove duplicate Leap reposync

QE: Remove duplicate Leap reposync #18

Triggered via pull request August 18, 2023 09:51
@nodegnodeg
opened #7434
Status Success
Total duration 11s
Artifacts

external_pr_labeler.yml

on: pull_request_target
Label external PRs
2s
Label external PRs
Fit to window
Zoom out
Zoom in