Update Docs CI with mdbook translation support #514
Description
Deploying docs with CI is broken. We are using rust-lang/mdBook#1306 to support translations, but the action we use does not support this.
Questionnaire
- I'm interested in fixing this myself but don't know where to start
- I would like to fix and I have a solution
- I don't have time to fix this right now, but maybe later