Build and push Docker images to Docker Hub

Faster (re)initialization of ODEs in `IDA` (#4453) #398

Sign in to view logs

Summary
Jobs
- Build image
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build image	24m 30s
	24m 30s