Revert "TO REVERT: build gh-pages even on pushes to devel"

This reverts commit c99c9903a3.
This commit is contained in:
Mirko Bunse 2024-07-01 18:17:58 +02:00
parent 7f05f8dd41
commit 1730d5a1a9
1 changed files with 1 additions and 0 deletions

View File

@ -36,6 +36,7 @@ jobs:
docs:
name: Documentation
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/master'
steps:
- uses: actions/checkout@v1
- name: Build documentation