We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a28b0f2 commit 925e5bdCopy full SHA for 925e5bd
.github/workflows/wasm.yaml
@@ -38,7 +38,7 @@ jobs:
38
git checkout FETCH_HEAD
39
40
- name: Compute cache key
41
- run: echo "CI_CACHE_KEY=${{ runner.os }}-${{ runner.arch }}-${{ env.GHC_WASM_META_COMMIT_HASH }}-flavor-${{ env.GHC_WASM_META_FLAVOUR }}" >> "$GITHUB_ENV"
+ run: echo "CI_CACHE_KEY=${{ runner.os }}-${{ runner.arch }}-${{ env.GHC_WASM_META_COMMIT_HASH }}-flavor-${{ env.GHC_WASM_META_FLAVOUR }}-${{ matrix.agda.name }}" >> "$GITHUB_ENV"
42
43
- name: Try to restore cached .ghc-wasm
44
id: ghc-wasm-cache-restore
@@ -154,6 +154,6 @@ jobs:
154
- name: Upload artifact
155
uses: actions/upload-artifact@v4
156
with:
157
- name: als
+ name: als-wasm-${{ matrix.agda.name }}
158
path: ~/out
159
include-hidden-files: true
0 commit comments