Use single github workflow to do CI on multiple OSs
2 files changed