Build and push Docker images to Docker Hub

Merge pull request #3654 from Saransh-cpp/repo-review-1 #83

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 48s
Image (JAX)	22m 10s
Image (ODES)	22m 6s
Image (IDAKLU)	21m 46s
Image (ALL)	21m 11s
	1h 49m 1s