Skip to content

Upgrade to Sphinx 7#9

Merged
markstory merged 7 commits intomasterfrom
sphinx-6
Jul 5, 2023
Merged

Upgrade to Sphinx 7#9
markstory merged 7 commits intomasterfrom
sphinx-6

Conversation

@othercorey
Copy link
Copy Markdown
Contributor

No description provided.

@othercorey
Copy link
Copy Markdown
Contributor Author

Looks like this fails building plugins although docs built successfully.

@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 5, 2023

Codecov Report

Merging #9 (abb2fd7) into master (897005f) will not change coverage.
The diff coverage is n/a.

❗ Current head abb2fd7 differs from pull request most recent head 413e53a. Consider uploading reports for the commit 413e53a to get more accurate results

@@             Coverage Diff             @@
##              master        #9   +/-   ##
===========================================
  Coverage     100.00%   100.00%           
  Complexity       145       145           
===========================================
  Files             13        13           
  Lines            477       477           
===========================================
  Hits             477       477           
Impacted Files Coverage Δ
console/src/Command/PopulateIndexCommand.php 100.00% <ø> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@LordSimal
Copy link
Copy Markdown
Contributor

do we wanna tackle the stan issues here as well or in a separate PR?

@othercorey
Copy link
Copy Markdown
Contributor Author

do we wanna tackle the stan issues here as well or in a separate PR?

Here is fine. Thanks for looking into it.

@LordSimal
Copy link
Copy Markdown
Contributor

Thanks for taking care of the sphinx upgrade 😁

@markstory markstory merged commit 5a20eba into master Jul 5, 2023
@markstory markstory deleted the sphinx-6 branch July 5, 2023 19:29
@othercorey othercorey changed the title Upgrade to Sphinx 6 Upgrade to Sphinx 7 Jul 6, 2023
@othercorey
Copy link
Copy Markdown
Contributor Author

Bumped up to sphinx 7 with the new phpdomain package.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants