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

Don't cancel other jobs if one fails #2503

Merged
merged 3 commits into from
Mar 18, 2022
Merged

Don't cancel other jobs if one fails #2503

merged 3 commits into from
Mar 18, 2022

Conversation

lucacome
Copy link
Member

Now that GitHub Action supports re-running single jobs, we don't need to cancel all the other jobs in the matrix when one fails.

@lucacome lucacome requested a review from a team March 16, 2022 23:13
@lucacome lucacome self-assigned this Mar 16, 2022
@github-actions github-actions bot added the chore Pull requests for routine tasks label Mar 16, 2022
@lucacome lucacome requested review from eufinco and pleshakov March 17, 2022 16:52
@codecov-commenter
Copy link

codecov-commenter commented Mar 18, 2022

Codecov Report

Merging #2503 (6085eb0) into master (d224bb1) will not change coverage.
The diff coverage is n/a.

❗ Current head 6085eb0 differs from pull request most recent head 0ebd8dc. Consider uploading reports for the commit 0ebd8dc to get more accurate results

@@           Coverage Diff           @@
##           master    #2503   +/-   ##
=======================================
  Coverage   53.48%   53.48%           
=======================================
  Files          49       49           
  Lines       14306    14306           
=======================================
  Hits         7652     7652           
  Misses       6411     6411           
  Partials      243      243           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@lucacome lucacome merged commit 887f9ce into master Mar 18, 2022
@lucacome lucacome deleted the chore/fail-fast branch March 18, 2022 02:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants