diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
index d7b5c9396..26aecd93b 100644
--- a/.github/workflows/doxygen.yml
+++ b/.github/workflows/doxygen.yml
@@ -2,6 +2,9 @@ name: Doxygen
 # Builds and deploys storms doxygen documentation
 
 on:
+  push:
+    branches:
+      - master
   # needed to trigger the workflow manually
   workflow_dispatch:
 
@@ -45,3 +48,4 @@ jobs:
           publish_dir: ./html
           external_repository: moves-rwth/storm-doc
           publish_branch: master
+          force_orphan: true