;ci: push: dummy change to trigger a build
This commit is contained in:
parent
cf3229b37c
commit
058807c8f0
1
.github/workflows/push.yml
vendored
1
.github/workflows/push.yml
vendored
@ -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
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user