diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-17T09·25+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 1bb32b1bcc6cc6f258d745bd51cf919c1ca4700e (patch) | |
| tree | ffbb60d686c1fcd68b32f4affab1b6f64809a3cc /ci | |
| parent | 59f74814111045b6d74d2a8f5b4f4bfbd1cacd85 (diff) | |
Disable failing goals/default.nix
Disabling failing packages until I can get a working CI build.
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/scripts/build-socrates.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh index 6a9c48556f1f..721fbdf57892 100644 --- a/ci/scripts/build-socrates.sh +++ b/ci/scripts/build-socrates.sh @@ -1,7 +1,8 @@ set -euo pipefail -nix-build /home/wpcarro/nixpkgs/nixos \ +nix-build '<nixpkgs/nixos>' \ -I briefcase="$(pwd)" \ + -I nixpkgs=/home/wpcarro/nixpkgs-channels \ -I nixos-config=nixos/socrates/default.nix \ -A system \ --show-trace |