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

2 warnings

mypy (ubuntu-latest, 3.8)

succeeded May 3, 2024 in 30s