Refactor CI Workflow and Optimize Caching #38

banacorn · 2025-10-12T14:26:58Z

Removed release.yaml and changed the workflow:
- Before: create release → build-and-test → upload artefacts
- After: build-and-test → create release → upload artefacts
Better caching of the Haskell toolchain on macOS
Current condition of release creation:
- Stable: on v* tags
- Dev: on ci or dev branches

…upload

banacorn added 9 commits October 12, 2025 13:04

[ fix ] Update test.yaml WASM build to match wasm.yaml approach

ce57c64

[ fix ] Add delay to dev release creation to avoid draft status

60433b1

[ change ][ ci ] Create dev release on either dev or ci branches

f155b05

[ fix ] Dependency of ghc-wasm-meta

0186b47

[ change ][ ci ] Consolidate release creation

3a4ae88

[ change ][ ci ] Split the workflow into: build + test -> release -> …

58b7af3

…upload

[ change ][ ci ] Cache the Haskell toolchain

3fbc1da

[ change ][ ci ] Improve CI caching strategy

fdc58cb

[ fix ][ ci ] Prevent mixing cache key on ARM64 and Intel macOS

ee483f2

banacorn merged commit 898e58f into agda:master Oct 12, 2025
13 checks passed

Provide feedback