hercules-ci-agent: init at 0.7.2

This commit is contained in:
Robert Hensing
2020-06-18 09:57:39 +02:00
parent 008570968c
commit 7d436b4618
4 changed files with 27 additions and 0 deletions

View File

@@ -2659,6 +2659,9 @@ package-maintainers:
- Agda
roberth:
- arion-compose
- hercules-ci-agent
- hercules-ci-api-core
- hercules-ci-api-agent
cdepillabout:
- pretty-simple
- spago

View File

@@ -96,6 +96,7 @@ self: super: builtins.intersectAttrs super {
# profiling is disabled to allow C++/C mess to work, which is fixed in GHC 8.8
cachix = disableLibraryProfiling super.cachix;
hercules-ci-agent = disableLibraryProfiling super.hercules-ci-agent;
# avoid compiling twice by providing executable as a separate output (with small closure size)
niv = enableSeparateBinOutput super.niv;