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.

Sign up for GitHub

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

Jump to bottom

Manual proof run #29

Closed
Jellix opened this issue Jun 11, 2020 · 0 comments
Closed

Manual proof run #29

Jellix opened this issue Jun 11, 2020 · 0 comments
Labels
wontfix Not a bug, or something that is (close to) impossible to implement workflow Issues related to the CI/CP workflow

Comments

@Jellix
Copy link
Member

Jellix commented Jun 11, 2020

This issue is a placeholder for manual triggers of proof runs.

If you add the special 'run_proof' label, a proof run on the master branch should be triggered.
@Jellix Jellix added wontfix Not a bug, or something that is (close to) impossible to implement workflow Issues related to the CI/CP workflow run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. and removed run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. labels Jun 11, 2020
@github-actions github-actions bot removed the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Jun 11, 2020
@Jellix Jellix added the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Jun 11, 2020
@github-actions github-actions bot removed the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Jun 11, 2020
@Jellix Jellix closed this as completed Jun 11, 2020
@HeisenbugLtd HeisenbugLtd locked as resolved and limited conversation to collaborators Jun 11, 2020
@Jellix Jellix pinned this issue Jun 11, 2020
@Jellix Jellix added the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Jun 11, 2020
@github-actions github-actions bot removed the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Jun 11, 2020
@Jellix Jellix unpinned this issue Jun 19, 2020
@Jellix Jellix pinned this issue Jun 19, 2020
@Jellix Jellix added the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Oct 17, 2020
@github-actions github-actions bot removed the run_proof If an issue gets labeled with this one, a proof run on the master branch should be triggered. label Oct 17, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
wontfix Not a bug, or something that is (close to) impossible to implement workflow Issues related to the CI/CP workflow
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Jellix