Build and push Docker images to Docker Hub

Merge pull request #3569 from agriyakhetarpal/i3558-repair-wheel #97

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 6s
Image (JAX)	21m 40s
Image (ODES)	21m 21s
Image (IDAKLU)	21m 6s
Image (ALL)	21m 4s
	1h 46m 17s