diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 9555ae2079..902a4bec87 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml @@ -741,6 +741,7 @@ jobs: exuberant-ctags \ unzip \ curl \ + time \ wget - uses: actions/checkout@v2 - uses: actions/download-artifact@v2 diff --git a/qa/run-ossfuzz-corpus.sh b/qa/run-ossfuzz-corpus.sh index c2ac05b3b6..81959c35a2 100755 --- a/qa/run-ossfuzz-corpus.sh +++ b/qa/run-ossfuzz-corpus.sh @@ -9,5 +9,5 @@ do rm -rf corpus_$target unzip -q public.zip -d corpus_$target #run target on corpus. - ./src/$target corpus_$target + /usr/bin/time -v ./src/$target corpus_$target done