Luca Boccassi d58a904d35 semaphore: do not build docs ... There are other CI runs that build manpages, speed up build which is close to 1hr limit		2024-10-07 19:40:58 +01:00
..
semaphore-runner.sh	semaphore: do not build docs	2024-10-07 19:40:58 +01:00
semaphore.yml	semaphoreci: move runner from Bionic to Focal	2022-04-06 10:41:46 +01:00