wip

.github/workflows/fmt.yml

@@ -0,0 +1,13 @@
+name: check formatting
+on: [push]
+jobs:
+  fmt:
+    runs-on: ubuntu-latest
+    steps:
+      - name: check out
+        uses: actions/checkout@v4
+      - run: ./misc/fmt.sh
+        name: check formatting
+      - name: List files in the repository
+        run: |
+          ls ${{ github.workspace }}