GitHub Actions CI

Add GitHub Actions workflow to build and publish docs to GitHub Pages… #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-14.04 gcc-4.8	11m 13s
ubuntu-14.04 gcc-4.9	11m 19s
ubuntu-18.04 gcc-5	12m 32s
ubuntu-18.04 gcc-6	13m 43s
ubuntu-18.04 gcc-7	12m 52s
ubuntu-18.04 gcc-8	13m 5s
ubuntu-20.04 gcc-9	10m 21s
ubuntu-20.04 gcc-10	9m 57s
ubuntu-20.04 gcc-11	10m 50s
ubuntu-22.04 gcc-12	11m 9s
	1h 57m 1s