DEV: Update CI workflows (PR #227)

Updates CI from discourse/.github

GitHub