From 8a209472f3a2b9a5a1ca0ff49b538cb7c6448e59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Grome=C5=A1?= <jgromes@users.noreply.github.com>
Date: Thu, 4 Feb 2021 08:31:49 +0100
Subject: [PATCH] Removed doxygen job from CI

---
 .github/workflows/main.yml | 21 +--------------------
 1 file changed, 1 insertion(+), 20 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 390adf54..16339ea2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -5,6 +5,7 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
+  workflow_dispatch:
 
 jobs:
 
@@ -158,23 +159,3 @@ jobs:
               fi
             fi
           done
-
-  doxygen:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Install Doxygen
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y doxygen
-
-      - uses: actions/checkout@v2
-
-      - name: Generate docs
-        run: doxygen Doxyfile
-
-      - name: Deploy to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@releases/v3
-        with:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          BRANCH: gh-pages
-          FOLDER: docs/html