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

Do not cancel successive runs if previous runs had problems #127

Closed
2 tasks done
bauersimon opened this issue May 17, 2024 · 0 comments · Fixed by #129
Closed
2 tasks done

Do not cancel successive runs if previous runs had problems #127

bauersimon opened this issue May 17, 2024 · 0 comments · Fixed by #129
Assignees
Labels
bug Something isn't working
Milestone

Comments

@bauersimon
Copy link
Member

bauersimon commented May 17, 2024

  • problems of current runs can block next runs, don't do that
  • change the logic that the plain repositories have to be solved at least once
@bauersimon bauersimon added the bug Something isn't working label May 17, 2024
@bauersimon bauersimon added this to the v0.5.0 milestone May 17, 2024
@bauersimon bauersimon self-assigned this May 17, 2024
bauersimon added a commit that referenced this issue May 17, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
bauersimon added a commit that referenced this issue May 17, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
bauersimon added a commit that referenced this issue May 17, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
bauersimon added a commit that referenced this issue May 17, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
bauersimon added a commit that referenced this issue May 17, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
@zimmski zimmski linked a pull request May 18, 2024 that will close this issue
zimmski pushed a commit that referenced this issue May 18, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
zimmski pushed a commit that referenced this issue May 18, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
zimmski pushed a commit that referenced this issue May 20, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
zimmski pushed a commit that referenced this issue May 20, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
zimmski pushed a commit that referenced this issue May 20, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
Munsio pushed a commit that referenced this issue Jun 3, 2024
…e problem-counting approach can disqualify succeeding runs

Part of #127
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant