(infra) splitting perf cargo workflows into their own flows (#1442)

Author: beta-ziliani

.github/workflows/benchmark_cargo.yml .github/workflows/benchmark_cargo_cmp.yml.github/workflows/benchmark_cargo.yml renamed to .github/workflows/benchmark_cargo_cmp.yml

@@ -11,12 +11,8 @@ on:
         required: true
         default: true
 
-      bencherProjectSlang:
-        description: "Bencher project (Slang tests):"
-        type: "string"
-
-      bencherProjectCmp:
-        description: "Bencher project (comparisons):"
+      bencherProject:
+        description: "Bencher project:"
         type: "string"
 
   # Run on pushes to 'main' branch:
@@ -46,22 +42,11 @@ jobs:
       - name: "infra setup cargo"
         run: "./scripts/bin/infra setup cargo"
 
-      - name: "Set bencher project (Slang)"
-
-        run: |
-          echo "SLANG_BENCHER_PROJECT=${{ inputs.bencherProjectSlang }}" >> $GITHUB_ENV
-        if: "${{ inputs.bencherProjectSlang }}"
-
-      - name: "infra perf cargo slang"
-        run: "./scripts/bin/infra perf cargo ${{ inputs.dryRun == true && '--dry-run' || '' }} slang"
-        env:
-          BENCHER_API_TOKEN: "${{ secrets.BENCHER_API_TOKEN }}"
-
-      - name: "Set bencher project (comparisons)"
+      - name: "Set bencher project"
 
         run: |
-          echo "SLANG_BENCHER_PROJECT=${{ inputs.bencherProjectCmp }}" >> $GITHUB_ENV
-        if: "${{ inputs.bencherProjectCmp }}"
+          echo "SLANG_BENCHER_PROJECT=${{ inputs.bencherProject }}" >> $GITHUB_ENV
+        if: "${{ inputs.bencherProject }}"
 
       - name: "infra perf cargo comparison"
         run: "./scripts/bin/infra perf cargo ${{ inputs.dryRun == true && '--dry-run' || '' }} comparison"

.github/workflows/benchmark_cargo_slang.yml

@@ -0,0 +1,61 @@
+name: "benchmark_cargo"
+
+on:
+  # Run using manual triggers from GitHub UI:
+  # https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
+  workflow_dispatch:
+    inputs:
+      dryRun:
+        description: "Attempt a local run and report results here, without updating the bencher dashboard."
+        type: "boolean"
+        required: true
+        default: true
+
+      bencherProject:
+        description: "Bencher project:"
+        type: "string"
+
+  # Run on pushes to 'main' branch:
+  push:
+    branches:
+      - "main"
+
+# Queue up benchmark workflows for the same branch, so that results are reported in order:
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref_name }}"
+  cancel-in-progress: false
+
+jobs:
+  benchmark:
+    runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+
+    # Only run on the main repo (not forks), unless it is a dry run:
+    if: "${{ github.repository == 'NomicFoundation/slang' || inputs.dryRun == true }}"
+
+    steps:
+      - name: "Checkout Repository"
+        uses: "actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683"
+
+      - name: "Restore Cache"
+        uses: "./.github/actions/cache/restore"
+
+      - name: "infra setup cargo"
+        run: "./scripts/bin/infra setup cargo"
+
+      - name: "Set bencher project"
+
+        run: |
+          echo "SLANG_BENCHER_PROJECT=${{ inputs.bencherProject }}" >> $GITHUB_ENV
+        if: "${{ inputs.bencherProject }}"
+
+      - name: "infra perf cargo slang"
+        run: "./scripts/bin/infra perf cargo ${{ inputs.dryRun == true && '--dry-run' || '' }} slang"
+        env:
+          BENCHER_API_TOKEN: "${{ secrets.BENCHER_API_TOKEN }}"
+
+      - name: "Upload Benchmarking Data"
+        uses: "actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02"
+        with:
+          name: "benchmarking-data"
+          path: "target/iai"
+          if-no-files-found: "error"