GitHub Actions CI

Update and tweak GitHub Actions workflow for building and deploying docs to GitHub Pages #52

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-14.04 gcc-4.8	11m 18s
ubuntu-14.04 gcc-4.9	11m 33s
ubuntu-18.04 gcc-5	13m 1s
ubuntu-18.04 gcc-6	12m 34s
ubuntu-18.04 gcc-7	12m 2s
ubuntu-18.04 gcc-8	13m 22s
ubuntu-20.04 gcc-9	10m 43s
ubuntu-20.04 gcc-10	10m 23s
ubuntu-20.04 gcc-11	10m 7s
ubuntu-22.04 gcc-12	11m 32s
	1h 56m 35s