Get rid of redundant body #7
linux.yml
on: push
gcc_7
6m 2s
gcc_14
5m 56s
clang_7
6m 13s
clang_18
7m 34s
clang_11 (PROMETHEUS=1)
3m 13s