Pin CI OS versions, instead of using the latest#4113

f-f merged 3 commits into

masterpurescript/purescript:masterfrom

pin-ci-ospurescript/purescript:pin-ci-osCopy head branch name to clipboard