fix

Author: felixwellen

.github/workflows/ci-ubuntu.yml

@@ -119,8 +119,7 @@ jobs:
             library-${{ runner.os }}-${{ env.GHC_VERSION }}-${{ env.CABAL_VERSION }}-${{ env.AGDA_BRANCH }}-
 
       - name: Put installed programs in PATH
-        run: echo "~/.cabal/bin" >> "${GITHUB_PATH}"
-        run: echo "~/.local/bin" >> "${GITHUB_PATH}"
+        run: echo "~/.cabal/bin:~/.local/bin" >> "${GITHUB_PATH}"
 
       - name: Test cubical
         run: |