michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Attempt to split up stack build.

Browse source
This commit is contained in:
Wen Kokke 2021-09-02 13:52:44 +01:00
parent f62da73cd4
commit 9780deb997
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
1 changed files with 27 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

44
.github/workflows/build.yml vendored
View file

@ -65,27 +65,37 @@ jobs:
# Setup & Cache site builder # Setup & Cache Agda, pandoc, and site builder
# - name: Cache Site Builder - name: Cache .stack-work
# uses: actions/cache@v2 uses: actions/cache@v2
# id: cache-site-builder id: cache-stack-work
# with: with:
# path: $GITHUB_WORKSPACE/.stack-work path: $GITHUB_WORKSPACE/.stack-work
# key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ matrix.agda }} key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ matrix.agda }}
# - name: Build Site Builder - name: Build Agda
# if: steps.cache-site-builder.outputs.cache-hit != 'true' if: steps.cache-stack-work.outputs.cache-hit != 'true'
# run: make build-deps run: stack build Agda-${{ matrix.agda }}
# shell: bash shell: bash
- name: Build Pandoc
if: steps.cache-stack-work.outputs.cache-hit != 'true'
run: stack build pandoc-2.10.1
shell: bash
- name: Build Site Builder
if: steps.cache-stack-work.outputs.cache-hit != 'true'
run: stack build
shell: bash
# Build & Test Website # Build & Test Website
# - name: Build Website - name: Build Website
# run: make build run: make build
# shell: bash shell: bash
# - name: Test Website - name: Test Website
# run: make test run: make test
# shell: bash shell: bash