.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/Update a few packages (#842)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 LICENSEFix LICENSE to update copyright notice, and to make GitHub detect it (#815)6 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.nixFirst small set for 0.14 (#816)6 years ago latest-compatible-sets.jsonUpdate to the latest tag6 years ago packages.jsonUpdate a few packages (#842)6 years ago release.shFirst small set for 0.14 (#816)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