File tree Expand file tree Collapse file tree 1 file changed +3
-11
lines changed
Expand file tree Collapse file tree 1 file changed +3
-11
lines changed Original file line number Diff line number Diff line change @@ -407,27 +407,19 @@ jobs:
407407 mv cabal.project.wasm32 cabal.project
408408 wasm32-wasi-cabal configure --flag=Agda-2-8-0
409409
410- - name : ' Build dep: lsp-types'
411- uses : nick-fields/retry@v3
412- id : build-dep-lsp-types
413- with :
414- timeout_minutes : 10
415- max_attempts : 2
416- command : cd als && wasm32-wasi-cabal build lib:lsp-types
417-
418- - name : ' Build dep: agda'
410+ - name : Build Agda as dependency
419411 id : build-dep-agda
420412 working-directory : ' ./als'
421413 run : wasm32-wasi-cabal build lib:agda
422414
423415 - name : Cache dist-newstyle
424416 uses : actions/cache/save@v4
425- if : steps.build-dep-lsp-types.outcome == 'success' && steps.build-dep- agda.outcome == 'success'
417+ if : steps.build-dep-agda.outcome == 'success'
426418 with :
427419 path : als/dist-newstyle
428420 key : dist-newstyle-${{ env.CI_CACHE_KEY }}-${{ hashFiles('als/dist-newstyle/**') }}
429421
430- - name : Build dependencies
422+ - name : Build dependencies other than Agda
431423 working-directory : ' ./als'
432424 run : |
433425 # Setup network submodule autotools
You can’t perform that action at this time.
0 commit comments