9ec9f004e1
Using the `nix-env` command is far more robust. It also has the benefit that if the per-user `profiles` and `gcroots` directories do not exist then they will be created with the correct permissions. Because of the second point this commit also removes the `mkdir` step of the installation instructions. PR #1239 Closes #474, #948, #1091
11 lines
141 B
YAML
11 lines
141 B
YAML
language: nix
|
|
|
|
os:
|
|
- linux
|
|
- osx
|
|
|
|
script:
|
|
- ./format -c
|
|
- nix-shell . -A install
|
|
- nix-shell --pure --max-jobs 10 tests -A run.all
|