github-docker

Merge pull request #6063 from gassmoeller/improve-documentation-toc #923

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker	3h 41m 27s
build-docker-tacc	43s
	3h 42m 10s