;ci: push: dummy change to trigger a build

This commit is contained in:
Simon Michael 2020-04-20 18:27:03 -07:00
parent 9cdf2953da
commit 97d73c7073

View File

@ -135,4 +135,3 @@ jobs:
run: | run: |
export PATH=~/.local/bin:$PATH export PATH=~/.local/bin:$PATH
COLUMNS=80 stack exec -- shelltest --execdir -j16 tests -x /bin -x /addons COLUMNS=80 stack exec -- shelltest --execdir -j16 tests -x /bin -x /addons