anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 14:34:03 +03:00
Code Issues Projects Releases Wiki Activity

Apply CI ghcup workaround to docs build (#1823)

Browse Source 
We also need to apply the workaround from
https://github.com/anoma/juvix/pull/1821 to the linux docs build
This commit is contained in:
Paul Cadman 2023-02-08 18:14:56 +00:00 committed by GitHub
parent 41ea59e96f
commit 10c3478875
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@ -225,6 +225,10 @@ jobs:
with:
mdbook-version: 0.4.22
- name: Workaround runner image issue
# https://github.com/actions/runner-images/issues/7061
run: sudo chown -R $USER /usr/local/.ghcup
- uses: haskell/actions/setup@v2
name: Setup Haskell
with: