Turn off binfmt_misc emulation

This shouldn't make a difference, but if the runner didn't support
ARMv7 executables and was running them automatically via emulation,
then this should cause that to fail. So this increases the
confidence of the test.

Author: EliahKagan

.github/workflows/check-compat.yml

@@ -10,7 +10,13 @@ jobs:
       - name: Check out repository
         uses: actions/checkout@v4
 
-      - name: Try to run the tracked ARMv7 binary
+      - name: Disable binfmt_misc to show the binary runs unemulated
+        run: |
+          path='/proc/sys/fs/binfmt_misc/status'
+          echo 0 | sudo tee -- "$path"
+          grep -Fxq disabled -- "$path"
+
+      - name: Run the tracked ARMv7 binary
         run: |
           set +e -x
           ./hello