Skip to content

Run the github runner on pull requests and for merge groups automatically. #46

Run the github runner on pull requests and for merge groups automatically.

Run the github runner on pull requests and for merge groups automatically. #46

merge

succeeded Nov 7, 2024 in 3s