.github/Fix release CI: add content-type to uploaded asset (#646)6 years ago src/Update to latest Dhall standard (#692)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.nixAdd CI check to verify that all packages are in the registry (#666)6 years ago packages.jsonUpdate argonaut-core version (#691)6 years ago verify-packages-in-registry.shImprove CI script (#677)6 years ago