From 97f14cbc78136c81a1d6ae7887cd775a1636956b Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro.albini@ferrous-systems.com>
Date: Thu, 23 May 2024 11:59:54 +0200
Subject: [PATCH] remove old github pages deployment

---
 .github/workflows/ci.yml | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3641fc84..c04a7e08 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -122,7 +122,6 @@ jobs:
         with:
           path: docs/build/html
 
-
   deploy-docs:
     if: github.event_name == 'push' && github.ref == 'refs/heads/staging'
     environment:
@@ -138,7 +137,6 @@ jobs:
         uses: actions/deploy-pages@v4
         id: github-pages
 
-
   build-finished:
     name: CI build successful
     runs-on: ubuntu-latest
@@ -148,19 +146,5 @@ jobs:
       - docs
       - license
     steps:
-      - name: Download built documentation for publishing
-        uses: actions/download-artifact@v3
-        with:
-          name: docs
-          path: /tmp/docs
-        if: github.event_name == 'push' && github.ref == 'refs/heads/staging'
-
-      - name: Publish the documentation to GitHub Pages
-        uses: ferrous-systems/shared-github-actions/github-pages@main
-        with:
-          path: /tmp/docs
-          token: ${{ secrets.GITHUB_TOKEN }}
-        if: github.event_name == 'push' && github.ref == 'refs/heads/staging'
-
       - name: Mark the build as successful
         run: exit 0