CI-unixish-docker

improved errorhandling of `--rule=` and `--rule-file=` / some related cleanups #11796

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_make (ubuntu:16.04)	3m 11s
build_cmake (ubuntu:16.04)	1m 41s
build_make (ubuntu:18.04)	4m 24s
build_cmake (ubuntu:18.04)	3m 5s
build_make (ubuntu:23.10)	4m 44s
build_cmake (ubuntu:23.10)	3m 29s
	20m 34s