From 3895cba6104143a7ce624872743b1d6a42e8ac90 Mon Sep 17 00:00:00 2001
From: Mirko Bunse <mirko.bunse@cs.tu-dortmund.de>
Date: Mon, 16 Sep 2024 13:56:00 +0200
Subject: [PATCH] Revert "TO REVERT: build gh-pages even on pushes to devel"

This reverts commit de3f8fd300d50202f1ec0e926d7b7228ee20fb31.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7dd0cfe..9ba9d0f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -36,6 +36,7 @@ jobs:
   docs:
     name: Documentation
     runs-on: ubuntu-latest
+    if: github.ref == 'refs/heads/master'
     steps:
     - uses: actions/checkout@v4
     - name: Set up Python