ci: stats job

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>

Author: henryiii

.github/workflows/grs.yml

@@ -0,0 +1,26 @@
+name: Update README cards
+
+on:
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Generate stats card
+        uses: readme-tools/github-readme-stats-action@v1
+        with:
+          card: stats
+          options: username=henryiii&show_icons=true
+          path: images/henryiii.svg
+          token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Commit cards
+        run: |
+          git config user.name "github-actions"
+          git config user.email "github-actions@users.noreply.github.com"
+          git add images/henryiii.svg
+          git commit -m "Update README cards" || exit 0
+          git push