Interestingly enough, we have some of the same questions for the Agda
programming language. Currently, Agda doesn't really have any package
manager, so there are no backwards-compatibility problems with using Nix.
It would be really nice if we could use Nix as the one-and-only package
management
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 632282300a9ecbdd8506554aa04c516c64994c84
https://github.com/NixOS/nixpkgs/commit/632282300a9ecbdd8506554aa04c516c64994c84
Author: Philipp Hausmann <phile...@users.noreply.github.com>
Date: 2016-11-0
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 8f6f46e8e1c9d1524bee2807ed7dffc18c8b835f
https://github.com/NixOS/nixpkgs/commit/8f6f46e8e1c9d1524bee2807ed7dffc18c8b835f
Author: Philipp Hausmann <phile...@users.noreply.github.com>
Date: 2
Hi,
I am using Hydra for CI and I am loving it so far. However, it would be
really nice to show the build status on Github. I see that there is a
GithubStatus plugin in the Hydra source code, but I couldn't find any
examples or documentation on how to use it. Is anybody using the