Merge pull request #258 from eriksjolund/fix-missing-options #562

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	2m 37s
Build on Ubuntu Focal	42s
clang-format	1m 5s
Build on armv7	9m 2s
Build on aarch64	9m 15s
distcheck	1m 47s
Build on s390x	10m 48s
Build on ppc64le	11m 0s
integration	1m 22s
	47m 38s