Andreas Abel

The testsuite uses `stack` to build and run Agda: https://github.com/agda/agda/blob/c28ec33cc563970f26ba3f62e24f0179ef1a4af9/.github/workflows/test.yml I think I don't know `stack` enough to fix this. On my machine at least `stack build` does not generate...

Looks like @L-TChen 's patch 8d2c172cc2bc700e6eed993557ae11b19cedf682 has fixed the problem: https://github.com/agda/agda/actions/runs/631557577

The ghost is back to haunt us: https://github.com/agda/agda/runs/2408325047?check_suite_focus=true

Seems like the recipe to fix these problems is to reset the CI cache.

Re 4.: I tried `stack-cache-action` but found it isn't sufficiently mature: - https://github.com/freckle/stack-cache-action/issues/68 - https://github.com/freckle/stack-cache-action/issues/69 Re 2.: Restoring an old `.stack/` _after_ `stack update` and `stack configure` does not feel...

@L-TChen wrote: > 3\. Caching `.stack-work` may store older snapshots and increase the cache size out of control. This is a valid concern, I raised it to the author of...

> 1. `stack update` creates `${STACK_ROOT}/config.yaml` which is needed in the following step (`echo ...`) I think rather then putting `system-ghc: true` into `config.yaml` we can simply add `--system-ghc` to...

Trivia: - `stack.yml`: The cached `.stack` directory is [roughly 300MB](https://github.com/agda/agda/runs/6692465916?check_suite_focus=true#step:7:19) per instance, and we have 10 instances (8 Linux, 1 macOS, 1 Windows ([360MB](https://github.com/agda/agda/runs/6692466290?check_suite_focus=true#step:7:17))), totalling to ~3GB. - `test.yml`: [Same...

Implemented https://github.com/agda/agda/issues/5887#issuecomment-1129110313 in - #5957

Options can be added here: https://github.com/agda/agda/blob/cf7ea79a8e6cb8fc62dd5a258f1d6317c5314cdd/src/full/Agda/Compiler/JS/Compiler.hs#L113-L120 For efficiently building there are these `Makefile` goals: 1. `make typecheck` (1min) : gives no code 2. `make quicker-install-bin` (5min): gives `-O0` code, suffix...