2018-02-19 21:30:16 +01:00
|
|
|
language: nix
|
|
|
|
|
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- osx
|
|
|
|
|
|
|
|
before_script:
|
|
|
|
- mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER
|
|
|
|
|
|
|
|
script:
|
2020-02-01 20:59:49 +01:00
|
|
|
- ./format -c
|
2018-12-11 00:51:48 +01:00
|
|
|
- nix-shell . -A install
|
2019-02-23 22:17:59 +01:00
|
|
|
- nix-shell tests -A run.all
|