Build and push Docker images to Docker Hub

Merge pull request #3397 from pipliggins/serialisation #56

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	21m 1s
Image (JAX)	4m 32s
Image (ODES)	43m 22s
Image (IDAKLU)	41m 51s
Image (ALL)	6m 55s
	1h 57m 41s