Merge pull request #474 from agda/fix-ci-hopefully

do not cache Agda, just install it (the binary) each time.

Author: TOTBWF

.github/workflows/ci-ubuntu.yml

@@ -78,7 +78,6 @@ jobs:
 ########################################################################
 
       - name: Install Agda
-        if: steps.cache-everything.outputs.cache-hit != 'true'
         uses: wenkokke/setup-agda@main
         with:
           agda-version: ${{ env.AGDA_VERSION }}