gnulib-tool is used is many CI jobs. Just adding 'python3' to the prerequisites of such a job makes it run faster. Here are the execution times for a single run, before and after adding 'python3', for those CIs that I maintain or co-maintain. In minutes and seconds.
Before After
https://gitlab.com/gnulib/gnulib-ci/-/pipelines 30: 11:
https://gitlab.com/gnu-gettext/ci-distcheck/-/pipelines 36: 32:
https://gitlab.com/gnu-poke/ci-distcheck/-/pipelines 18:40 18:24
https://gitlab.com/gnu-libunistring/ci-distcheck/-/pipelines 11:25 09:16
https://gitlab.com/gnu-diffutils/ci-distcheck/-/pipelines 07:21 06:27
https://gitlab.com/gnu-grep/ci-distcheck/-/pipelines 06:51 06:08
https://gitlab.com/gnu-m4/ci-distcheck/-/pipelines 06:46 05:44
https://gitlab.com/gnu-sed/ci-distcheck/-/pipelines 05:28 04:39
https://gitlab.com/gnu-gzip/ci-distcheck/-/pipelines 04:16 03:58
https://gitlab.com/gnu-libffcall/ci-distcheck/-/pipelines 01:50 01:42
https://gitlab.com/gnu-libsigsegv/ci-distcheck/-/pipelines 00:45 00:42
Bruno
