From 92bf72bf4dce41e5889313897247f82876790407 Mon Sep 17 00:00:00 2001
From: The Tumultuous Unicorn Of Darkness
 <the-tumultuous-unicorn-of-darkness@gmx.com>
Date: Mon, 1 Jul 2024 09:46:38 +0200
Subject: [PATCH] Revert "CI: disable docs pipeline for now"

This reverts commit 334cbea0aefb33ebab28749f1782a7930fd6ed47.

GitHut Pages actived
---
 .github/workflows/docs.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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