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 0c6e525a1f998c37849c04a215e5a68312331272)
(cherry picked from commit ece14d98c2ee8407b319a51405b598e0b0fda054)

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