ci: checkout action with submodules true

Author: zjp-CN

.github/workflows/test.yml

@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-        submodules: 'recursive'
+        submodules: true
 
       - name: Install kani
         working-directory: kani