Abbreviated task ids.
This commit is contained in:
parent
c8d5f77c0e
commit
19eca137ae
1 changed files with 14 additions and 13 deletions
27
.github/workflows/build.yml
vendored
27
.github/workflows/build.yml
vendored
|
@ -10,7 +10,6 @@ jobs:
|
||||||
matrix:
|
matrix:
|
||||||
os: [macOS-latest]
|
os: [macOS-latest]
|
||||||
ghc: ['8.10.5']
|
ghc: ['8.10.5']
|
||||||
agda: ['2.6.1.3']
|
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
|
|
||||||
|
@ -30,6 +29,12 @@ jobs:
|
||||||
|
|
||||||
# Setup & Cache Haskell
|
# Setup & Cache Haskell
|
||||||
|
|
||||||
|
- name: Get Agda Info
|
||||||
|
id: agda-info
|
||||||
|
run: |
|
||||||
|
echo "::set-output name=agda::$(sed -n -e 's/^.*Agda\s*==\(\S*\)\s*/\1/p' plfa.cabal)"
|
||||||
|
shell: bash
|
||||||
|
|
||||||
- name: Cache Haskell
|
- name: Cache Haskell
|
||||||
uses: actions/cache@v2
|
uses: actions/cache@v2
|
||||||
id: cache-haskell
|
id: cache-haskell
|
||||||
|
@ -41,7 +46,7 @@ jobs:
|
||||||
~/.local
|
~/.local
|
||||||
~/.stack
|
~/.stack
|
||||||
$GITHUB_WORKSPACE/.stack-work
|
$GITHUB_WORKSPACE/.stack-work
|
||||||
key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}
|
key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ steps.agda-info.outputs.agda }}
|
||||||
|
|
||||||
- name: Setup Haskell
|
- name: Setup Haskell
|
||||||
if: steps.cache-haskell.outputs.cache-hit != 'true'
|
if: steps.cache-haskell.outputs.cache-hit != 'true'
|
||||||
|
@ -55,16 +60,12 @@ jobs:
|
||||||
|
|
||||||
# Setup & Cache HTMLProofer
|
# Setup & Cache HTMLProofer
|
||||||
|
|
||||||
- name: Get Gem Installation Directory
|
- name: Get Ruby Info
|
||||||
id: get-gemdir
|
id: ruby-info
|
||||||
shell: bash
|
|
||||||
|
|
||||||
- name: Get Ruby Configuration
|
|
||||||
id: get-ruby-config
|
|
||||||
run: |
|
run: |
|
||||||
echo "::set-output name=ruby-version::$(ruby -e 'puts RUBY_VERSION')"
|
echo "::set-output name=ruby::$(ruby -e 'puts RUBY_VERSION')"
|
||||||
echo "::set-output name=gem-version::$(gem --version)"
|
echo "::set-output name=gem::$(gem --version)"
|
||||||
echo "::set-output name=gem-directory::$(gem env gemdir)"
|
echo "::set-output name=gemdir::$(gem env gemdir)"
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|
||||||
- name: Setup HTMLProofer
|
- name: Setup HTMLProofer
|
||||||
|
@ -76,8 +77,8 @@ jobs:
|
||||||
id: cache-htmlproofer
|
id: cache-htmlproofer
|
||||||
with:
|
with:
|
||||||
path: |
|
path: |
|
||||||
${{ steps.get-ruby-config.outputs.gem-directory }}
|
${{ steps.ruby-info.outputs.gemdir }}
|
||||||
key: ${{ matrix.os }}-ruby-${{ steps.get-ruby-config.outputs.ruby-version }}-gem-${{ steps.get-ruby-config.outputs.gem-version }}
|
key: ${{ matrix.os }}-ruby-${{ steps.ruby-info.outputs.ruby }}-gem-${{ steps.ruby-info.outputs.gem }}
|
||||||
|
|
||||||
|
|
||||||
# Build & Test Website
|
# Build & Test Website
|
||||||
|
|
Loading…
Reference in a new issue