DEV: Update CI workflows (PR #140)

Updates CI from discourse/.github

GitHub