Skip to content

Allow to manually execute a GitHub Actions workflow#58

Closed
jansorg wants to merge 2 commits intobash-4.4from
jansorg/4.4-ci-dispatch
Closed

Allow to manually execute a GitHub Actions workflow#58
jansorg wants to merge 2 commits intobash-4.4from
jansorg/4.4-ci-dispatch

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