Build and push Docker images to Docker Hub

Merge pull request #3556 from agriyakhetarpal/remove-versions.json #51

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 0s
Image (JAX)	4m 7s
Image (ODES)	43m 52s
Image (IDAKLU)	42m 24s
Image (ALL)	6m 36s
	1h 57m 59s