Mark Rousskov 5b287f6ce1 Set shell for github actions CI

2020-07-16 13:53:02 -04:00

..

ci.yml

Set shell for github actions CI

2020-07-16 13:53:02 -04:00