Deploy to dockerhub

Convert priors in benchmark problems to measurements #1091

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-secret	1s
Deploy to dockerhub	11m 28s
	11m 29s