diff --git a/infra/README.md b/infra/README.md index 14c27c9fd..a8635d815 100644 --- a/infra/README.md +++ b/infra/README.md @@ -24,4 +24,5 @@ Continuous Integration infrastracture: | `build_fuzzers` | Builds fuzz targets for a given project | | `run_fuzzer` | Runs a fuzz target in a docker container | | `coverage` | Runs a fuzz target in a docker container and computes a coverage report | +| `reproduce` | Runs a testcase to reproduce a crash | | `shell` | Starts a shell inside the docker image for a project |