From d8587160777a1075c0f2347abf778c270a71d944 Mon Sep 17 00:00:00 2001 From: CaCO3 Date: Mon, 2 Jan 2023 22:55:49 +0100 Subject: [PATCH] Delete .github/workflow directory --- .github/workflow/build-docs.yaml | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 .github/workflow/build-docs.yaml diff --git a/.github/workflow/build-docs.yaml b/.github/workflow/build-docs.yaml deleted file mode 100644 index 67dcab7..0000000 --- a/.github/workflow/build-docs.yaml +++ /dev/null @@ -1,28 +0,0 @@ -name: Build and Pack - -on: [push, pull_request] - -jobs: - ######################################################################################### - ## Build the documentation using mkdoc - ## It will be pushed to the gh-pages branch - ######################################################################################### - build-documentation: - # The type of runner that the job will run on - runs-on: ubuntu-latest - - # Steps represent a sequence of tasks that will be executed as part of the job - steps: - # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - - uses: actions/checkout@v2 - with: - fetch-depth: 0 - - uses: actions/setup-python@v2 - - run: | - pip install --upgrade pip && pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin - git config user.name 'github-actions[bot]' - git config user.email 'github-actions[bot]@users.noreply.github.com' - - name: Publish docs - run: | - cd docs - mkdocs gh-deploy