Conversation
harshil21
commented
May 24, 2023
harshil21
commented
Member
Upgrades the furo version, so we can now also upgrade the sphinx version.
github-actions
Bot
removed
the
⚙️ dependencies
label
May 24, 2023
Bibo-Joshi
commented
May 24, 2023
Bibo-Joshi commented
May 24, 2023Member
Would you mind just also bumping sphinx in this PR? :)
Bibo-Joshi
added
⚙️ dependencies
labels
May 24, 2023harshil21 and others added 2 commits
May 25, 2023 19:38Bibo-Joshi
merged commit c185137
into
master
Bibo-Joshi deleted the upgrade-furo branch
May 25, 2023 20:47
github-actions
Bot
locked and limited conversation to collaborators
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels