Skip to content

Renintroduce pull_request in GitHub workflow with if case #465

Renintroduce pull_request in GitHub workflow with if case

Renintroduce pull_request in GitHub workflow with if case #465

pre-commit

succeeded Nov 28, 2024 in 17s