.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 formless, variant, metadata (#1076)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 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.nixMake 0.14.7 package set (#1074)5 years ago latest-compatible-sets.jsonUpdate to the latest tag5 years ago packages.jsonUpdate formless, variant, metadata (#1076)5 years ago release.shMake 0.14.7 package set (#1074)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