download benchmark dbgsym using debuginfod

Author: mvorisek

.github/workflows/push.yml

@@ -235,7 +235,8 @@ jobs:
             libsqlite3-dev \
             openssl \
             re2c \
-            valgrind
+            valgrind \
+            debuginfod
       - name: ccache
         uses: hendrikmuhs/[email protected]
         with:
@@ -285,7 +286,9 @@ jobs:
           ssh-key: ${{ secrets.BENCHMARKING_DATA_DEPLOY_KEY }}
           path: benchmark/repos/data
       - name: Benchmark
-        run: php benchmark/benchmark.php true
+        run: |
+          export DEBUGINFOD_URLS="https://debuginfod.ubuntu.com"
+          php benchmark/benchmark.php true
       - name: Store result
         if: github.event_name == 'push'
         run: |