diff options
| -rw-r--r-- | .github/workflows/build_aflplusplus_docker.yaml | 10 | ||||
| -rw-r--r-- | docs/custom_mutators.md | 2 |
2 files changed, 7 insertions, 5 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 diff --git a/docs/custom_mutators.md b/docs/custom_mutators.md index 61d711e4..62e01f83 100644 --- a/docs/custom_mutators.md +++ b/docs/custom_mutators.md @@ -89,10 +89,10 @@ def queue_get(filename): def queue_new_entry(filename_new_queue, filename_orig_queue): pass -``` def introspection(): return string +``` ### Custom Mutation |