From 9c33266c8d1979ca3c6c756f0bff7643611f5639 Mon Sep 17 00:00:00 2001 From: froejdh_e Date: Tue, 10 Jun 2025 16:11:59 +0200 Subject: [PATCH] updated scripts --- .github/workflows/build_docs.yml | 2 +- .github/workflows/manual_deploy_docs.yml | 63 ------------------------ 2 files changed, 1 insertion(+), 64 deletions(-) delete mode 100644 .github/workflows/manual_deploy_docs.yml diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index 6861d6d..57bcfb7 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -58,7 +58,7 @@ jobs: url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest needs: build - if: github.event_name == 'release' && github.event.action == 'published' + if: (github.event_name == 'release' && github.event.action == 'published') || (github.event_name == 'workflow_dispatch' ) steps: - name: Deploy to GitHub Pages id: deployment diff --git a/.github/workflows/manual_deploy_docs.yml b/.github/workflows/manual_deploy_docs.yml deleted file mode 100644 index 1293eb0..0000000 --- a/.github/workflows/manual_deploy_docs.yml +++ /dev/null @@ -1,63 +0,0 @@ -name: Deploy docs manually - -on: - workflow_dispatch: - -permissions: - contents: read - pages: write - id-token: write - -jobs: - build: - strategy: - fail-fast: false - matrix: - platform: [ubuntu-latest, ] - python-version: ["3.12",] - - runs-on: ${{ matrix.platform }} - - defaults: - run: - shell: "bash -l {0}" - - steps: - - uses: actions/checkout@v4 - - - name: Get conda - uses: conda-incubator/setup-miniconda@v3 - with: - python-version: ${{ matrix.python-version }} - environment-file: etc/dev-env.yml - miniforge-version: latest - channels: conda-forge - conda-remove-defaults: "true" - - - name: Build library - run: | - mkdir build - cd build - cmake .. -DAARE_SYSTEM_LIBRARIES=ON -DAARE_DOCS=ON - make -j 2 - make docs - - - name: Upload static files as artifact - id: deployment - uses: actions/upload-pages-artifact@v3 - with: - path: build/docs/html/ - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 - - - -