diff --git a/.github/workflows/deep-fuzz.yml b/.github/workflows/deep-fuzz.yml index 17eacb88b..6c2716d60 100644 --- a/.github/workflows/deep-fuzz.yml +++ b/.github/workflows/deep-fuzz.yml @@ -5,6 +5,7 @@ on: - development paths: - '**.sol' + workflow_dispatch: jobs: deep-fuzz: diff --git a/.github/workflows/deep-invariant.yml b/.github/workflows/deep-invariant.yml index 16cd6cfce..6af53e94d 100644 --- a/.github/workflows/deep-invariant.yml +++ b/.github/workflows/deep-invariant.yml @@ -5,7 +5,8 @@ on: - development paths: - '**.sol' - + workflow_dispatch: + jobs: invariant-tests: name: Run Invariant Tests