.github/CI: Revert to old CI setup for verifying packages6 years ago ci/Add script to compare on CI if packages are up to date (#733)6 years ago src/Add PureFunctor/purescript-typelevel-lists (#794)6 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 LICENSErestore original LICENSE file8 years ago MakefileAdd CI check to verify that all packages are in the registry (#666)6 years ago README.mdMove CI badge to GitHub actions (#645)6 years ago default.nixUpdate to dhall-1.35 in CI (#693)6 years ago latest-compatible-sets.jsonUpdate to the latest tag6 years ago packages.jsonAdd PureFunctor/purescript-typelevel-lists (#794)6 years ago release.shAdd release script (#736)6 years ago update-latest-compatible-sets.shAdd latest-compatible-sets.json file (#702)6 years ago verify-packages-in-registry.shImprove CI script (#677)6 years ago