Dario Nieuwenhuis 47305c2bf2 ci: build doc with 4 threads instead of 6, to avoid running out of disk space.

2023-07-06 02:32:49 +02:00

..

ci

ci: build doc with 4 threads instead of 6, to avoid running out of disk space.

2023-07-06 02:32:49 +02:00

workflows

Move doc building to new CI.

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

bors.toml

Tell bors to delete merged branches

2022-03-14 12:59:48 -05:00