diff --git a/.gitea/workflows/abstract-machine-build.yml b/.gitea/workflows/abstract-machine-build.yml
index ded6e88..af10d43 100644
--- a/.gitea/workflows/abstract-machine-build.yml
+++ b/.gitea/workflows/abstract-machine-build.yml
@@ -10,9 +10,8 @@ jobs:
           name: ysyx
           signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
       - uses: actions/checkout@v4
-        sparse-checkout: |
-          flake.nix
-          abstract-machine
+        with:
+          submodules: true
       - name: Build abstract-machine
         run: |
           nix build .#abstract-machine
diff --git a/nemu/.result.tmp b/nemu/.result.tmp
deleted file mode 100644
index e69de29..0000000