From 3031ce5b9e6ea5daed6a00f3d4177fba2a3c29b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nuno=20Cora=C3=A7=C3=A3o?= Date: Sun, 11 Sep 2022 20:19:35 +0100 Subject: [PATCH] Delete .github/workflows directory --- .github/workflows/docs.yml | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 .github/workflows/docs.yml diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml deleted file mode 100644 index 2a7e8d3c..00000000 --- a/.github/workflows/docs.yml +++ /dev/null @@ -1,37 +0,0 @@ - -name: Build Docs pages - -on: - push: - branches: [ "main" ] - pull_request: - branches: [ "main" ] - - workflow_dispatch: - -jobs: - build: - runs-on: ubuntu-latest - - steps: - - - name: Hugo setup - uses: peaceiris/actions-hugo@v2.4.12 - env: - ACTIONS_ALLOW_UNSECURE_COMMANDS: 'true' - - - uses: actions/checkout@v3 - - - name: Compile site - run: hugo --source exampleSite --themesDir ../.. -d docs - - - name: Package - uses: actions/upload-pages-artifact@v1.0.4 - with: - path: exampleSite/docs - - - name: Deploy GitHub Pages site - uses: actions/deploy-pages@v1.0.10 - with: - token: ${{ github.token }} - page_url: /docs