diff --git a/.github/workflows/_publish.yml b/.github/workflows/_publish.yml index 1c60d33b..f9bc6557 100644 --- a/.github/workflows/_publish.yml +++ b/.github/workflows/_publish.yml @@ -17,7 +17,7 @@ on: description: 'Dry run: Do not commit to the repo' type: boolean default: false - + jobs: mirror: runs-on: ubuntu-latest @@ -28,6 +28,13 @@ jobs: path: private ref: main fetch-depth: 0 + - name: Checkout benchmarking-public + uses: actions/checkout@v4 + with: + path: public + ref: main + repository: ${{ github.repository }}-public + token: ${{ secrets.BENCHMARK_MIRROR }} - name: Mirror run: | cd public