25ddbf4824
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
(cherry picked from commit 9ec9f004e1
)
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
|