diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index e8caa9bfb..366a2224e 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -56,9 +56,10 @@ jobs:
         ./test-z3 -a
         cd -
 
+# Disabled:       ${{github.workspace}}/build/examples/c_example_build_dir/c_example
+
     - name: Run examples
       run: |
-# Disabled:       ${{github.workspace}}/build/examples/c_example_build_dir/c_example
         ${{github.workspace}}/build/examples/cpp_example_build_dir/cpp_example
         ${{github.workspace}}/build/examples/tptp_build_dir/z3_tptp5 --help
         ${{github.workspace}}/build/examples/c_maxsat_example_build_dir/c_maxsat_example ${{github.workspace}}/examples/maxsat/ex.smt