Missing event.json upload (#2018)

* Missing event.json upload * Right adapter name
tweag · Jul 31, 2024 · 734bcc9 · 734bcc9
1 parent 0e060a0
commit 734bcc9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/benchmark-pr.yaml b/.github/workflows/benchmark-pr.yaml
@@ -37,3 +37,8 @@ jobs:
         with:
           name: criterion-output
           path: criterion-output.txt
+      - name: Upload GitHub Pull Request Event
+        uses: actions/upload-artifact@v4
+        with:
+          name: event.json
+          path: ${{ github.event_path }}
diff --git a/.github/workflows/upload-pr-benchmarks.yaml b/.github/workflows/upload-pr-benchmarks.yaml
@@ -65,7 +65,7 @@ jobs:
           --branch-start-point '${{ env.PR_BASE }}' \
           --branch-start-point-hash '${{ env.PR_BASE_SHA }}' \
           --testbed ubuntu-latest \
-          --adapter criterion_rust \
+          --adapter rust_criterion \
           --err \
           --github-actions '${{ secrets.GITHUB_TOKEN }}' \
           --ci-number '${{ env.PR_NUMBER }}' \