try to push using SSH_KEY

IntegralEquations · Oct 26, 2023 · db57256 · db57256
1 parent 073ee62
commit db57256
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -10,7 +10,7 @@ on:
 jobs:
   Benchmark:
     runs-on: ubuntu-latest
-    # if: contains(github.event.pull_request.html_url, 'run benchmark')
+    if: contains(github.event.pull_request.labels.*.name, 'run benchmark')
     steps:
       - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@latest
@@ -29,3 +29,4 @@ jobs:
         run: julia -e "using BenchmarkCI; BenchmarkCI.pushresult()"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          SSH_KEY: ${{ secrets.DOCUMENTER_KEY }}