diff --git a/.github/workflows/benchmark.yaml b/.github/workflows/benchmark.yaml index 8811b8e6e..df2e1737e 100644 --- a/.github/workflows/benchmark.yaml +++ b/.github/workflows/benchmark.yaml @@ -61,7 +61,7 @@ jobs: echo "max=$(cat max_time.txt)" >> $GITHUB_OUTPUT rm time.txt mean_time.txt min_time.txt max_time.txt - name: Checkout GitHub pages - uses: actions/checkout@v5 + uses: actions/checkout@v6 if: ${{ always() && !cancelled() }} with: ref: gh-pages