Build and push Docker images to Docker Hub

Merge pull request #3671 from prady0t/fix-jax #90

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 32s
Image (JAX)	21m 30s
Image (ODES)	21m 47s
Image (IDAKLU)	21m 15s
Image (ALL)	21m 43s
	1h 47m 47s