Skip to content
New issue

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

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

Already on GitHub? # to your account

Add rerun workflow #2181

Merged
merged 1 commit into from
Sep 10, 2021
Merged

Add rerun workflow #2181

merged 1 commit into from
Sep 10, 2021

Conversation

jneira
Copy link
Member

@jneira jneira commented Sep 10, 2021

  • rerun-actions should only be run on comment creation. See the below examples for how to do this.
  • the PR either must have an ok-to-test label present on the PR, or the user who writes a command must be an organization member, or repo owner, contributor, or collaborator.

The action is triggered by adding a comment in the pr with

The following commands are supported by this action:
/rerun-all - rerun all failed workflows.
/rerun-workflow - rerun a specific failed workflow. Only one workflow name can be specified. Multiple /rerun-workflow commands are allowed per comment.

@pepeiborra
Copy link
Collaborator

Can you extend the description with an example usage?

@jneira
Copy link
Member Author

jneira commented Sep 10, 2021

Can you extend the description with an example usage?

Update the description with the available commands, you have to make a comment in the pr with the command

@jneira jneira added the merge me Label to trigger pull request merge label Sep 10, 2021
@jneira jneira merged commit 94ebd4d into haskell:master Sep 10, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants