Skip to content

Conversation

@larskanis
Copy link
Member

This was disabled in commit a4431c2, but running tests on a PR is a very useful response for the committer.

This was disabled in commit a4431c2,
but running tests on a PR is a very useful response for the committer.
@andyundso
Copy link
Member

we have switched to GitHub Actions in the meantime, which also runs when somebody opens a new PR, so I am going to close this PR.

@andyundso andyundso closed this Oct 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants