Bump docker/build-push-action from 3.2.0 to 4.0.0#4

dependabot[bot] wants to merge 3 commits intomasterigcontreras/z3:masterfrom

dependabot/github_actions/docker/build-push-action-4.0.0igcontreras/z3:dependabot/github_actions/docker/build-push-action-4.0.0Copy head branch name to clipboard