diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index c462dec..e4c9537 100644
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       # set_option known to fail on Github Actions
-      COMMON_CTEST_ARGS: ---no-compress-output --output-on-failure -E "^set_option$"
+      COMMON_CTEST_ARGS: --no-compress-output --output-on-failure -E "^set_option$"
 
     steps:
     - uses: actions/checkout@v3