Skip to content

CI: can manually start tests - #664

Merged
sourcefrog merged 1 commit into
mainfrom
ci
Oct 19, 2026
Merged

sourcefrog merged 1 commit into
mainfrom
ci

Conversation

@sourcefrog

Copy link
Copy Markdown
Owner

Should help on old PRs, or PRs where for some reason they did not run.

Should help on old PRs, or PRs where for some reason they did not run.
@sourcefrog
sourcefrog merged commit 6c720ae into main Oct 19, 2026
30 checks passed
@sourcefrog
sourcefrog deleted the ci branch October 19, 2026 15:43
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