fix corner case in unused (#4147)

fixes #4146
2020-09-22 13:08:45 +01:00
parent 6d4c0fa6fa
commit 3472cf1a90
3 changed files with 32 additions and 6 deletions
--- a/.github/workflows/ufuzz.yml
+++ b/.github/workflows/ufuzz.yml
@@ -36,7 +36,7 @@ jobs:
          npm config set update-notifier false
          npm --version
          while !(npm install); do echo "'npm install' failed - retrying..."; done
-          PERIOD=-2000
+          PERIOD=-5000
          if [[ $CAUSE == "schedule" ]]; then
            PERIOD=`node test/ufuzz/actions $BASE_URL $TOKEN`
          fi