Remove explicit caching of .lake folder; enable use of Github cache (#…

…156)

### Issues:

Hopefully, resolves #155

### Description:

Avoid caching fails in CI

### Testing:

`make all` ran locally

### License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.

.github/workflows/makefile.yml

@@ -31,14 +31,7 @@ jobs:
       with:
         auto-config: false
         use-mathlib-cache: false
-        use-github-cache: false
-
-    - name: Cache `.lake` folder
-      id: cache-lake
-      uses: actions/cache@v4
-      with:
-        path: .lake
-        key: ${{ runner.os }}-lake
+        use-github-cache: true
 
     - name: Build AWS-LC and run ELFSage tests (Ubuntu)
       if : ${{ runner.os != 'macOS' }}