Skip to content

commit to check if PRs still work#372

Closed
BertScholten wants to merge 1 commit intoaerius:mainfrom
BertScholten:pr_check
Closed

commit to check if PRs still work#372
BertScholten wants to merge 1 commit intoaerius:mainfrom
BertScholten:pr_check

Conversation

@BertScholten
Copy link
Copy Markdown
Member

Actions have been changed, so checking if that has impact.

Actions have been changed, so checking if that has impact.
@BertScholten
Copy link
Copy Markdown
Member Author

Looks like it works OK, closing this PR again

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.

1 participant