.github/CI: Revert to old CI setup for verifying packages6 years ago ci/Bump tar from 4.4.15 to 4.4.19 in /ci (#998)5 years ago src/Update node-streams and its deps (#1092)4 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 MakefileRemove deprecated `--inplace` flag for `dhall format` (#1041)5 years ago README.mdMove CI badge to GitHub actions (#645)6 years ago RELEASE_GUIDE.mdAdd RELEASE_GUIDE.md (#1073)5 years ago default.nix First small set for 0.15 (#1075)4 years ago latest-compatible-sets.jsonUpdate to the latest tag4 years ago packages.jsonUpdate node-streams and its deps (#1092)4 years ago release.shUpdate release.sh4 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