GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-23 22:27:25 +03:00
Code Issues Projects Releases Wiki Activity

move docker step to before haskell setup

Browse Source
This commit is contained in:
Jared Weakly 2020-06-04 13:55:32 -07:00
parent 5b41430e20
commit 79c0c994ee
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
.github/workflows/nightly.yml vendored
View File

@ -34,6 +34,15 @@ jobs:
with: with:
submodules: true submodules: true
- uses: docker://pandoc/latex:latest
with:
args: >-
sh -c "
apk add make &&
tlmgr install subfigure lastpage preprint adjustbox nag collectbox sectsty todonotes palatino mathpazo &&
cd docs &&
make"
- uses: actions/setup-haskell@v1.1 - uses: actions/setup-haskell@v1.1
with: with:
ghc-version: "8.8" ghc-version: "8.8"
@ -45,15 +54,6 @@ jobs:
echo "::set-env name=PATH::$PATH" echo "::set-env name=PATH::$PATH"
.github/ci.sh build .github/ci.sh build
- uses: docker://pandoc/latex:latest
with:
args: >-
sh -c "
apk add make &&
tlmgr install subfigure lastpage preprint adjustbox nag collectbox sectsty todonotes palatino mathpazo &&
cd docs &&
make"
- shell: bash - shell: bash
run: .github/ci.sh setup_dist_bins run: .github/ci.sh setup_dist_bins