Separate building of ctf from the rest

.github/workflows/main.yml

@@ -48,12 +48,22 @@ jobs:
     - name: Make configure script
       run: $WITH_CURRENT_SHELL 'autoreconf -sfiv'
 
-    - name: Compile (${{matrix.compiler}})
+    - name: Configure (${{matrix.compiler}})
       run: |
         mkdir -p build/${{matrix.compiler}}
         cd build/${{matrix.compiler}}
         $WITH_SHELL '../../configure'
+
+    - name: CTF (${{matrix.compiler}})
+      run: |
+        mkdir -p build/${{matrix.compiler}}
+        cd build/${{matrix.compiler}}
         $WITH_SHELL 'make ctf'
+
+    - name: Make main (${{matrix.compiler}})
+      run: |
+        mkdir -p build/${{matrix.compiler}}
+        cd build/${{matrix.compiler}}
         $WITH_SHELL 'make'
         $WITH_SHELL 'make -C test'
 
@@ -66,6 +76,8 @@ jobs:
   documentation:
     runs-on: ubuntu-latest
     needs: build
+    env:
+      WITH_SHELL: "nix-shell --argstr compiler gcc6 --run"
     steps:
     - uses: actions/checkout@v2.3.4
     - name: Install Nix
@@ -74,8 +86,6 @@ jobs:
         nix_path: nixpkgs=channel:nixos-unstable
 
     - name: Configure
-      env:
-        WITH_SHELL: "nix-shell --argstr compiler gcc6 --run"
       run: |
         ${WITH_SHELL} 'autoreconf -sfiv'
         ${WITH_SHELL} './configure --enable-docs'
@@ -86,12 +96,12 @@ jobs:
     - name: doxygen
       run: |
         cd docs
-        nix-shell --run 'make doxygen'
+        ${WITH_SHELL} 'make doxygen'
 
     - name: sphinx
       run: |
         cd docs
-        nix-shell --run 'make sphinx'
+        ${WITH_SHELL} 'make sphinx'
 
     - name: nojekyll
       run: |