diff --git a/.github/archive/pr-checks.yml b/.github/.archive/pr-checks.yml similarity index 100% rename from .github/archive/pr-checks.yml rename to .github/.archive/pr-checks.yml diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml index 94eab46..494334a 100644 --- a/.github/workflows/docs-and-testcov.yml +++ b/.github/workflows/docs-and-testcov.yml @@ -6,9 +6,9 @@ concurrency: on: push: - branches: [main] -# pull_request: -# branches: [main] + branches: [main, update_docs_workflow] + # pull_request: + # branches: [main] workflow_dispatch: permissions: @@ -104,11 +104,11 @@ jobs: echo "" > target/doc/index.html - name: Upload Pages artifact - if: github.event_name == 'push' + # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' uses: actions/upload-pages-artifact@v3 with: path: target/doc/ - name: Deploy to GitHub Pages - if: github.event_name == 'push' - uses: actions/deploy-pages@v4 + # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' + uses: actions/deploy-pages@v4 \ No newline at end of file diff --git a/.github/workflows/run-benchmarks.yml b/.github/workflows/run-benchmarks.yml index b05029e..f6cca7a 100644 --- a/.github/workflows/run-benchmarks.yml +++ b/.github/workflows/run-benchmarks.yml @@ -7,8 +7,22 @@ on: # - main jobs: - run-benchmarks: + pick-runner: runs-on: ubuntu-latest + outputs: + runner: ${{ steps.choose.outputs.use-runner }} + steps: + - uses: actions/checkout@v4 + - id: choose + uses: ./.github/actions/runner-fallback + with: + primary-runner: "self-hosted,ubuntu-latest" + fallback-runner: "ubuntu-latest" + github-token: ${{ secrets.GITHUB_TOKEN }} + + run-benchmarks: + needs: pick-runner + runs-on: ${{ fromJson(needs.pick-runner.outputs.runner) }} steps: - name: Checkout code