diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build_aflplusplus_docker.yaml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.github/workflows/build_aflplusplus_docker.yaml b/.github/workflows/build_aflplusplus_docker.yaml index be8d795d..ab3bfeee 100644 --- a/.github/workflows/build_aflplusplus_docker.yaml +++ b/.github/workflows/build_aflplusplus_docker.yaml @@ -1,13 +1,15 @@ name: Publish Docker Images + on: push: branches: [ stable ] - paths: - - Dockerfile +# paths: +# - Dockerfile pull_request: branches: [ stable ] - paths: - - Dockerfile +# paths: +# - Dockerfile + jobs: push_to_registry: name: Push Docker images to Dockerhub |