54 Commits

Author	SHA1	Message	Date
Jonas Nick	c303cd47e4	Add push-release.sh helper ... Prepares, signs and pushes a release to github.	2020-03-30 11:01:31 +02:00
Erik Arvstedt	766fa4f300	travis: cache all build outputs with cachix ... This further speeds up builds, in particular the modules test in the next commit. By checking if the expected final build output has already been cached, we can even skip the download of cached builds.	2020-01-13 00:25:11 +01:00
Erik Arvstedt	46edb39d2f	Add content hashes for pinned channels	2019-11-11 18:45:17 +01:00
Erik Arvstedt	961e8217a9	Rename contrib/ to helper/	2019-11-11 18:45:17 +01:00