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

Operation timed out. Restarting workflow in parts.

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

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

@ -51,43 +51,41 @@ jobs:
echo "::set-output name=gemdir::$(gem env gemdir)" echo "::set-output name=gemdir::$(gem env gemdir)"
shell: bash shell: bash
- name: Cache HTMLProofer
uses: actions/cache@v2
id: cache-htmlproofer
with:
path: ${{ steps.ruby-info.outputs.gemdir }}
key: ${{ matrix.os }}-ruby-${{ steps.ruby-info.outputs.ruby }}-gem-${{ steps.ruby-info.outputs.gem }}
- name: Setup HTMLProofer - name: Setup HTMLProofer
if: steps.cache-htmlproofer.outputs.cache-hit != 'true' if: steps.cache-htmlproofer.outputs.cache-hit != 'true'
run: sudo gem install html-proofer run: sudo gem install html-proofer
shell: bash shell: bash
- name: Cache HTMLProofer
uses: actions/cache@v2
id: cache-htmlproofer
with:
path: |
${{ steps.ruby-info.outputs.gemdir }}
key: ${{ matrix.os }}-ruby-${{ steps.ruby-info.outputs.ruby }}-gem-${{ steps.ruby-info.outputs.gem }}
# Setup & Cache site builder # Setup & Cache site builder
- name: Cache Site Builder # - name: Cache Site Builder
uses: actions/cache@v2 # uses: actions/cache@v2
id: cache-site-builder # id: cache-site-builder
with: # with:
path: | # path: $GITHUB_WORKSPACE/.stack-work
$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 Site Builder
if: steps.cache-site-builder.outputs.cache-hit != 'true' # if: steps.cache-site-builder.outputs.cache-hit != 'true'
run: make build-deps # run: make build-deps
shell: bash # 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