Luca Boccassi 7efc3959c9 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) (cherry picked from commit 966d8a90ca44659123c15e3a7e7d498aa2b50510) (cherry picked from commit 0c6e525a1f) (cherry picked from commit ece14d98c2)		2024-10-10 10:33:40 +01:00
..
semaphore-runner.sh	semaphore: do not build docs	2024-10-10 10:33:40 +01:00
semaphore.yml	semaphoreci: move runner from Bionic to Focal	2022-04-06 10:41:46 +01:00