GitHub Actions CI

Add GitHub Actions workflow to build and publish docs to GitHub Pages #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-14.04 gcc-4.8	10m 49s
ubuntu-14.04 gcc-4.9	11m 16s
ubuntu-18.04 gcc-5	12m 9s
ubuntu-18.04 gcc-6	13m 9s
ubuntu-18.04 gcc-7	12m 27s
ubuntu-18.04 gcc-8	13m 16s
ubuntu-20.04 gcc-9	10m 36s
ubuntu-20.04 gcc-10	9m 57s
ubuntu-20.04 gcc-11	10m 0s
ubuntu-22.04 gcc-12	11m 23s
	1h 55m 2s