Removing caching, remove Agda std-lib (#108)

maxsnew · Sep 11, 2024 · 06bc67f · 06bc67f
1 parent ff997b6
commit 06bc67f
Showing 1 changed file with 0 additions and 53 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -96,36 +96,17 @@ jobs:
           cabal-version: ${{ env.CABAL_VERSION }}
           cabal-update: true
 
-      # This caching step allows us to save a lot of building time by only
-      # rebuilding Agda, and re-checking unchanged library files if
-      # absolutely necessary i.e. if we change either the version of Agda,
-      # ghc, or cabal that we want to use for the build.
-      - name: Restore external dependencies cache
-        uses: actions/cache/restore@v3
-        id: cache-external-restore
-        with:
-          path: ${{ env.CACHE_PATHS }}
-          key: ${{ runner.os }}-${{ env.GHC_VERSION }}-${{ env.CABAL_VERSION }}-${{ env.AGDA_BRANCH }}
-
       ########################################################################
       ## INSTALLATION STEPS
       ########################################################################
       - name: Download and install fix-whitespace
-        if: steps.cache-external-restore.outputs.cache-hit != 'true'
         run: |
           cd ~
           git clone https://github.com/agda/fix-whitespace --depth=1
           cd fix-whitespace
           ${{ env.CABAL_INSTALL }} fix-whitespace.cabal
           cd ..
 
-      - name: Cache External Dependencies
-        if: steps.cache-external-restore.outputs.cache-hit != 'true'
-        uses: actions/cache/save@v3
-        id: cache-external-save
-        with:
-          path: ${{ env.CACHE_PATHS }}
-          key: ${{ steps.cache-external-restore.outputs.cache-primary-key }}
 
       ########################################################################
       ## CHECKOUT
@@ -153,23 +134,11 @@ jobs:
           cabal-version: ${{ env.CABAL_VERSION }}
           cabal-update: true
 
-      # This caching step allows us to save a lot of building time by only
-      # rebuilding Agda, and re-checking unchanged library files if
-      # absolutely necessary i.e. if we change either the version of Agda,
-      # ghc, or cabal that we want to use for the build.
-      - name: Restore external dependencies cache
-        uses: actions/cache/restore@v3
-        id: cache-external-restore
-        with:
-          path: ${{ env.CACHE_PATHS }}
-          key: ${{ runner.os }}-${{ env.GHC_VERSION }}-${{ env.CABAL_VERSION }}-${{ env.AGDA_BRANCH }}
-
       ########################################################################
       ## INSTALLATION STEPS
       ########################################################################
 
       - name: Download and install Agda from github
-        if: steps.cache-external-restore.outputs.cache-hit != 'true'
         run: |
           git clone https://github.com/agda/agda --branch ${{ env.AGDA_BRANCH }} --depth=1
           cd agda
@@ -179,12 +148,6 @@ jobs:
           cd ..
           rm -rf agda
 
-      - name: Download Agda Standard Library from github
-        run : |
-          cd ~
-          git clone https://github.com/agda/agda-stdlib.git
-          echo "AGDA_STDLIB_DIR=$PWD/agda-stdlib" >> "$GITHUB_ENV"
-
       - name: Download Cubical from github
         run : |
           cd ~
@@ -199,16 +162,8 @@ jobs:
           mkdir ~/.agda
           touch ~/.agda/libraries
           echo "$CUBICAL_DIR/cubical.agda-lib" >> ~/.agda/libraries
-          echo "$AGDA_STDLIB_DIR/standard-library.agda-lib" >> ~/.agda/libraries
           echo "$GITHUB_WORKSPACE/cubical-categorical-logic.agda-lib" >> ~/.agda/libraries
 
-      - name: Cache External Dependencies
-        if: steps.cache-external-restore.outputs.cache-hit != 'true'
-        uses: actions/cache/save@v3
-        id: cache-external-save
-        with:
-          path: ${{ env.CACHE_PATHS }}
-          key: ${{ steps.cache-external-restore.outputs.cache-primary-key }}
 
       ########################################################################
       ## CHECKOUT
@@ -225,14 +180,6 @@ jobs:
       - name: Put cabal programs in PATH
         run: echo "~/.cabal/bin" >> $GITHUB_PATH
 
-      - name: Cache Agdai Files
-        uses: actions/cache@v3
-        with:
-          path: '**/*.agdai'
-          key: ${{ runner.os }}-agdai-${{ hashFiles('**/*.agda') }}
-          restore-keys: |
-            ${{ runner.os }}-agdai-
-
       - name: Test cubical-categorical-logic
         run: |
           make test \