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 d58a904d35)		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