Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow to manually execute a GitHub Actions workflow #58

Closed
wants to merge 2 commits into from

Conversation

jansorg
Copy link
Collaborator

@jansorg jansorg commented Dec 27, 2024

No description provided.

@jansorg jansorg force-pushed the jansorg/4.4-ci-dispatch branch from 6ba489b to bcd0db1 Compare December 27, 2024 16:46
@jansorg jansorg force-pushed the jansorg/4.4-ci-dispatch branch from 2819cbe to 0a451cb Compare December 27, 2024 16:56
@jansorg
Copy link
Collaborator Author

jansorg commented Dec 30, 2024

Superseded by the latest PRs.

@jansorg jansorg closed this Dec 30, 2024
@jansorg jansorg deleted the jansorg/4.4-ci-dispatch branch December 30, 2024 13:45
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