Build and push Docker images to Docker Hub

Merge pull request #3586 from chmabaur/issue-3543-thermal #58

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 2s
Image (JAX)	4m 30s
Image (ODES)	44m 9s
Image (IDAKLU)	41m 55s
Image (ALL)	6m 45s
	1h 58m 21s