Disable precomp

.github/workflows/version_check.yml

@@ -14,10 +14,12 @@ jobs:
   check-version:
     runs-on: ubuntu-latest
 
-    # Determine whether the target branch is master (i.e. this is a push to
-    # master or a PR to master).
     env:
+      # Determine whether the target branch is master (i.e. this is a push to
+      # master or a PR to master).
       TARGET_IS_MASTER: ${{ (github.event_name == 'push' && github.ref_name == 'master') || (github.event_name == 'pull_request' && github.base_ref == 'master') }}
+      # Disable precompilation as it takes a long time and is not needed for this workflow
+      JULIA_PKG_PRECOMPILE_AUTO: 0
 
     steps:
       - name: Checkout