Build and push Docker images to Docker Hub

Merge pull request #3541 from Saransh-cpp/fix-schedules #44

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	20m 27s
Image (JAX)	4m 16s
Image (ODES)	42m 1s
Image (IDAKLU)	41m 52s
Image (ALL)	6m 30s
	1h 55m 6s