github-docker

Merge pull request #6753 from bangerth/serialize-manager-objects #1478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker-tacc	3m 37s
build-docker	3m 37s
	7m 14s