Fix benchmarking output in github.

Author: MFraters

.github/workflows/post_benchmark_results.yml

@@ -21,11 +21,13 @@ jobs:
         uses: actions/[email protected]
         with:
           script: |
+            echo "Flag 1";
             var artifacts = await github.actions.listWorkflowRunArtifacts({
                owner: context.repo.owner,
                repo: context.repo.repo,
                run_id: ${{github.event.workflow_run.id }},
             });
+            echo "Flag 2";
             var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
               return artifact.name == "benchmark_1_results"
             })[0];
@@ -35,44 +37,52 @@ jobs:
                artifact_id: matchArtifact.id,
                archive_format: 'zip',
             });
+            echo "Flag 3";
             var fs = require('fs');
             fs.writeFileSync('${{github.workspace}}/benchmark_1_results.zip', Buffer.from(download.data));
             var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
               return artifact.name == "benchmark_2_results"
             })[0];
+            echo "Flag 4";
             var download = await github.actions.downloadArtifact({
                owner: context.repo.owner,
                repo: context.repo.repo,
                artifact_id: matchArtifact.id,
                archive_format: 'zip',
             });
+            echo "Flag 5";
             var fs = require('fs');
             fs.writeFileSync('${{github.workspace}}/benchmark_2_results.zip', Buffer.from(download.data));
             var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
               return artifact.name == "benchmark_3_results"
             })[0];
+            echo "Flag 6";
             var download = await github.actions.downloadArtifact({
                owner: context.repo.owner,
                repo: context.repo.repo,
                artifact_id: matchArtifact.id,
                archive_format: 'zip',
             });
+            echo "Flag 7";
             var fs = require('fs');
             fs.writeFileSync('${{github.workspace}}/benchmark_3_results.zip', Buffer.from(download.data));
             var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
               return artifact.name == "benchmark_4_results"
             })[0];
+            echo "Flag 8";
             var download = await github.actions.downloadArtifact({
                owner: context.repo.owner,
                repo: context.repo.repo,
                artifact_id: matchArtifact.id,
                archive_format: 'zip',
             });
+            echo "Flag 9";
             var fs = require('fs');
             fs.writeFileSync('${{github.workspace}}/benchmark_4_results.zip', Buffer.from(download.data));
             var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
               return artifact.name == "benchmark_5_results"
             })[0];
+            echo "Flag 10";
             var download = await github.actions.downloadArtifact({
                owner: context.repo.owner,
                repo: context.repo.repo,