put it in kani workflow just to get it to run on macos

.github/workflows/kani.yml

@@ -79,3 +79,44 @@ jobs:
               .addHeading('Kani List Output', 2)
               .addRaw(kaniOutput, false)
               .write();
+  update-kani-metrics:
+    name: Compute Kani Metrics (partition ${{ matrix.partition }})
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+        partition: [1, 2, 3, 4]
+        include:
+          - os: ubuntu-latest
+            base: ubuntu
+          - os: macos-latest
+            base: macos
+      fail-fast: false
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+        with:
+          submodules: true
+
+      # The Kani metrics collection uses a Python script (kani_std_analysis.py), so make sure Python is installed
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.x'
+
+      - name: Compute Kani Metrics
+        run: ./scripts/run-kani.sh --run metrics --path ${{github.workspace}}
+
+      - name: Create Pull Request
+        uses: peter-evans/create-pull-request@v7
+        with:
+          commit-message: Update Kani metrics
+          title: 'Update Kani Metrics'
+          body: |
+            This is an automated PR to update Kani metrics.
+            
+            The metrics have been updated by running `./scripts/run-kani.sh --run metrics`.
+          branch: update-kani-metrics
+          delete-branch: true
+          base: main
+