Build and push Docker images to Docker Hub

Merge pull request #3602 from AbhishekChaudharii/issue_3392_improve_A… #67

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 13s
Image (JAX)	21m 2s
Image (ODES)	21m 3s
Image (IDAKLU)	21m 10s
Image (ALL)	21m 41s
	1h 46m 9s