Paul Jolly 652047fdc5 ci: create an initial GitHub actions workflow (#390) ...

This workflow does nothing, but we need an initial workflow in place in
order to be able to iterate and test with changes to that workflow in
later PRs. Hence we commit a simple "Hello, World!" workflow for now
that will be refined in later PRs.

2020-04-01 00:11:32 -03:00

..

workflows

ci: create an initial GitHub actions workflow (#390)

2020-04-01 00:11:32 -03:00