ci: github: tweaks

This commit is contained in:
Simon Michael 2020-03-06 01:23:35 -08:00
parent fe5cfe8ed2
commit 23f8462d47

View File

@ -95,7 +95,7 @@ jobs:
key: ${{ runner.os }}-local-bin
# check out the current branch tip
- name Check out
- name: Check out
uses: actions/checkout@v2 # https://github.com/marketplace/actions/checkout
- name: Install stack (ubuntu)