ci: run tests with --pure

This commit is contained in:
Robert Helgesson 2020-03-06 00:14:09 +01:00
parent f3fbb50b68
commit 1a4c10e950
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -10,4 +10,4 @@ before_script:
script:
- ./format -c
- nix-shell . -A install
- nix-shell tests -A run.all
- nix-shell --pure tests -A run.all