This PR removes Docker push from the CI workflow. At the moment, CI will build a Docker image with the contracts compiled and push the new image to DockerHub. Due to authorization issues (outdated Docker auth workflow), Docker push is causing CI to fail. We can remove Docker push from the CI workflow and instead turn on auto-build for Docker images using DockerHub separately instead of configuring CircleCI to push the image.
5b0421b fixes a lint error that was previously missed when CI was failing but commits were merged.
This PR removes Docker push from the CI workflow. At the moment, CI will build a Docker image with the contracts compiled and push the new image to DockerHub. Due to authorization issues (outdated Docker auth workflow), Docker push is causing CI to fail. We can remove Docker push from the CI workflow and instead turn on auto-build for Docker images using DockerHub separately instead of configuring CircleCI to push the image.
5b0421b fixes a lint error that was previously missed when CI was failing but commits were merged.