Build and push Docker images to Docker Hub

Merge pull request #3557 from Saransh-cpp/ruff-config #55

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Image (No solvers)	20m 56s
Image (JAX)	4m 11s
Image (ODES)	44m 19s
Image (IDAKLU)	42m 31s
Image (ALL)	6m 59s
	1h 58m 56s