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..f59eebd 100644
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -101,14 +101,16 @@ jobs:
cp last-commit-date.json target/doc/rustframe/
mkdir -p target/doc/rustframe/.github
cp .github/rustframe_logo.png target/doc/rustframe/.github/
- echo "" > target/doc/index.html
+
+ mv target/doc/rustframe target/doc/docs
+ 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'
+ if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/deploy-pages@v4
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