Closed alex-treebeard closed 1 year ago
We should disable it for external PRs.
only runs now on push to main
We should disable it for external PRs.