.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/Add convertable-options (#1050)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 default.nixBump release to 0.14.5 (#1026)5 years ago latest-compatible-sets.jsonUpdate to the latest tag5 years ago packages.jsonAdd convertable-options (#1050)5 years ago release.shBump release to 0.14.5 (#1026)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