Skip to content

GitAction should not be launched if a PR is closed but not merged #251

GitAction should not be launched if a PR is closed but not merged

GitAction should not be launched if a PR is closed but not merged #251

Annotations

3 warnings

docs (ubuntu-latest, 3.8)

succeeded May 3, 2024 in 36s