Skip to content

Conversation

@harshil21
Copy link
Member

Upgrades the furo version, so we can now also upgrade the sphinx version.

@harshil21 harshil21 added the ⚙️ dependencies affected functionality: dependencies label May 24, 2023
@github-actions github-actions bot removed the ⚙️ dependencies affected functionality: dependencies label May 24, 2023
@Bibo-Joshi
Copy link
Member

Would you mind just also bumping sphinx in this PR? :)

@Bibo-Joshi Bibo-Joshi added ⚙️ dependencies affected functionality: dependencies ⚙️ documentation affected functionality: documentation labels May 24, 2023
@Bibo-Joshi Bibo-Joshi merged commit c185137 into master May 25, 2023
@Bibo-Joshi Bibo-Joshi deleted the upgrade-furo branch May 25, 2023 20:47
@github-actions github-actions bot locked and limited conversation to collaborators Jun 2, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ dependencies affected functionality: dependencies ⚙️ documentation affected functionality: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants