diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 41d2bc045..3d71406bf 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -76,7 +76,7 @@ jobs: run: ci/build_hermes.sh - name: Test - run: cd build && ctest -VV + run: cd build && ctest - name: Install run: pushd build && make install && popd diff --git a/ci/install_hermes.sh b/ci/install_hermes.sh index 504426a5b..b34a3aa40 100755 --- a/ci/install_hermes.sh +++ b/ci/install_hermes.sh @@ -2,5 +2,5 @@ . ci/build_hermes.sh pushd build -ctest +ctest -VV popd