Move Doxygen generation to new job

.github/scripts/configure-build.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+# Run configure in the build directory and stop
+# The generated files will be used to run Doxygen
+set -e
+
+./autogen.sh
+mkdir build
+cd build
+../configure

.github/workflows/build.yml

@@ -39,15 +39,27 @@ jobs:
     - name: Build and Test
       run: ./.github/scripts/build-and-test.sh
 
+  doxygen:
+    if: "!(contains(github.event.head_commit.message, '[doxy skip]') || contains(github.event.head_commit.message, '[skip doxy]'))"
+    runs-on: 'ubuntu-latest'
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v2
+
+    - name: Install dependencies
+      run: ./.github/scripts/install-dependencies-ubuntu.sh
+
+    - name: Configure build
+      run: ./.github/scripts/configure-build.sh
+
     - name: Generate Doxygen documentation
       uses: mattnotmitt/doxygen-action@v1
-      if: ${{ matrix.os == 'ubuntu-20.04' && matrix.cc == 'gcc' }}
       with:
         working-directory: './build'
 
     - name: Deploy generated documentation to Github pages
       uses: peaceiris/actions-gh-pages@v3
-      if: ${{ matrix.os == 'ubuntu-20.04' && matrix.cc == 'gcc' }}
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./build/docs/html