diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 7c8d577..0840f1a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -3,8 +3,9 @@ name: Deploy static content to Pages
 
 on:
   # Runs on pushes targeting the default branch
-  push:
-    branches: ["master"]
+  # FIXME: disabled because GitHub Pages not enabled in repository settings
+  # push:
+  #   branches: ["master"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: