github-docker

Merge pull request #6761 from bangerth/parameters #1477

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker	4h 4m 6s
build-docker-tacc	1h 7m 9s
	5h 11m 15s