CI

Update docs theme and remove docs env pins #583

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	33s
build (htcondor)	3m 16s
build (slurm)	7m 34s
build (pbs)	3m 28s
build (none)	1m 53s
build (sge)	3m 9s
	19m 53s