Files
Lukas Klingsbo 05e908512d ci: Moved doc setup to separate script (#3339)
Since there seems to be some problem with the doc setup on the GitHub
runners, let's try running it as a separate script.
2024-10-13 17:06:18 +02:00
..