Merge pull request #15 from pjebs/master

- fix up workflows
This commit is contained in:
pj
2022-05-24 12:13:03 +10:00
committed by GitHub