Dario Nieuwenhuis f075e62444 Use 1 thread in ci doc building.

2022-10-03 01:59:44 +02:00

..

workflows

Use 1 thread in ci doc building.

2022-10-03 01:59:44 +02:00

bors.toml

Tell bors to delete merged branches

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