.github/CI: Revert to old CI setup for verifying packages6 years ago ci/Bump tar from 4.4.13 to 4.4.15 in /ci (#978)5 years ago src/added run-external-state (#982)5 years ago .gitignoreUpdate publishing instructions to not depend on Bower registry (#577)7 years ago .mergify.ymlAdd Mergify configuration to auto-merge PRs (#580)7 years ago CONTRIBUTING.mdNixify contribution instructions (#655)6 years ago LICENSEFix LICENSE to update copyright notice, and to make GitHub detect it (#815)6 years ago MakefileAdd check to ensure package URLs match the Registry (#941)5 years ago README.mdMove CI badge to GitHub actions (#645)6 years ago default.nixUpgrade to purescript 0.14.3 (#972)5 years ago latest-compatible-sets.jsonUpdate to the latest tag5 years ago packages.jsonadded run-external-state (#982)5 years ago release.shUpgrade to purescript 0.14.3 (#972)5 years ago update-latest-compatible-sets.shAdd latest-compatible-sets.json file (#702)6 years ago verify-registry.shAdd check to ensure package URLs match the Registry (#941)5 years ago