Luca Boccassi 966d8a90ca semaphore: do not build docs ...

There are other CI runs that build manpages, speed up build which is close to 1hr limit

(cherry picked from commit d58a904d35d3abcb7265b28b14aac596631e27d6)

2024-10-08 16:39:12 +01:00

..

semaphore-runner.sh

semaphore: do not build docs

2024-10-08 16:39:12 +01:00

semaphore.yml

semaphoreci: move runner from Bionic to Focal

2022-04-06 10:41:46 +01:00