Build and push Docker images to Docker Hub

Merge pull request #3539 from agriyakhetarpal/fix-installation-bug-no… #48

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	19m 45s
Image (JAX)	4m 8s
Image (ODES)	42m 15s
Image (IDAKLU)	40m 39s
Image (ALL)	6m 47s
	1h 53m 34s