From 61e75525c6c4cfbed7dc3ce163e7189201a37e5d Mon Sep 17 00:00:00 2001
From: Roberto Rosmaninho <robertogomes@dcc.ufmg.br>
Date: Thu, 21 Sep 2023 10:30:33 -0300
Subject: [PATCH] Fixing bencher posting command

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

diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
index a644488c526..b40d3a60b1b 100644
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -86,7 +86,7 @@ jobs:
           docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c 'bencher run            \
             --if-branch "develop" --else-if-branch "master"                    \
             --file .profiling-results.json --err --ci-only-on-alert            \
-            --github-actions "${GITHUB_TOKEN}" "echo \"Exporting report\"'
+            --github-actions "${GITHUB_TOKEN}" "echo Exporting report'
       - name: 'Tear down Docker'
         if: always()
         run: |