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

Allow concurrent PR docs builds #1795

Merged
merged 1 commit into from
Nov 14, 2023

Conversation

martincostello
Copy link
Member

Allow pull requests to run the github-pages workflow simultaneously, as deployments won't actually happen so they do not need to be protected from concurrent deployments.

Allow pull requests to run the github-pages workflow simultaneously, as deployments won't actually happen so they do not need to be protected from concurrency deployments.
Copy link

codecov bot commented Nov 14, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (1e07f08) 84.56% compared to head (95152f6) 84.56%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1795   +/-   ##
=======================================
  Coverage   84.56%   84.56%           
=======================================
  Files         308      308           
  Lines        6791     6791           
  Branches     1044     1044           
=======================================
  Hits         5743     5743           
  Misses        839      839           
  Partials      209      209           
Flag Coverage Δ
linux 84.56% <ø> (ø)
macos 84.56% <ø> (ø)
windows ?

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@martincostello martincostello enabled auto-merge (rebase) November 14, 2023 11:18
@martincostello martincostello merged commit 9967dc3 into App-vNext:main Nov 14, 2023
14 checks passed
@martincostello martincostello deleted the fix-concurrency branch November 14, 2023 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants