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

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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