From c21a0c051d40816286602c60f26b3217c9961582 Mon Sep 17 00:00:00 2001
From: Alberto Mercurio <alberto.mercurio96@gmail.com>
Date: Mon, 6 May 2024 20:09:56 +0200
Subject: [PATCH] Change to DOCUMENTER_KEY

---
 .github/workflows/Benchmarks.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Benchmarks.yml b/.github/workflows/Benchmarks.yml
index c595df48..1a108ae7 100644
--- a/.github/workflows/Benchmarks.yml
+++ b/.github/workflows/Benchmarks.yml
@@ -54,7 +54,7 @@ jobs:
           tool: "julia"
           output-file-path: benchmarks/benchmarks_output.json
           summary-always: true
-          github-token: ${{ secrets.GITHUB_TOKEN }}
+          github-token: ${{ secrets.DOCUMENTER_KEY }}
           comment-always: true
           alert-threshold: "200%"
           fail-on-alert: true