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

Make docs build in parallel #2000

Merged
merged 1 commit into from
May 3, 2022
Merged

Conversation

isaacgsmith
Copy link
Member

Description

See #1803

Motivation and context

The changes made on #1803 were not carried over after #1987.

Type of change

  • Bug fix.
  • New feature.
  • Breaking change.
  • None of the above.

Checklist

  • My change requires a change to the documentation.
    • I have updated the documentation accordingly.
    • (optional) I have built the documentation on my fork following the instructions.
  • I have assigned and requested two reviewers for this pull request.

@isaacgsmith isaacgsmith changed the title Update build-docs.yml Make docs build in parallel May 3, 2022
@codecov
Copy link

codecov bot commented May 3, 2022

Codecov Report

Merging #2000 (d48ebbd) into master (713c9db) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2000   +/-   ##
=======================================
  Coverage   59.99%   59.99%           
=======================================
  Files          70       70           
  Lines        8111     8111           
=======================================
  Hits         4866     4866           
  Misses       3245     3245           

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

@tardis-bot
Copy link
Contributor

*beep* *bop*

Hi, human.

The build-docs workflow has succeeded ✔️

Click here to see your results.

@andrewfullard andrewfullard merged commit 1761515 into tardis-sn:master May 3, 2022
@isaacgsmith isaacgsmith deleted the patch-1 branch July 12, 2022 21:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants