Dario Nieuwenhuis a2a26f489b ci: set net.git-fetch-with-cli=true

2023-09-16 02:16:33 +02:00

..

ci

ci: set net.git-fetch-with-cli=true

2023-09-16 02:16:33 +02:00

workflows

Move doc building to new CI.

2023-05-31 14:29:40 +02:00