doc: Documentation for `nix flake check`

This commit is contained in:
Leni Aniva 2024-04-06 14:15:58 -07:00
parent fd47711e1f
commit d44693e548
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 1 additions and 4 deletions

View File

@ -132,8 +132,5 @@ requires the presence of `lean-all`.
To run tests:
``` sh
nix build .#checks.${system}.test
nix flake check
```
For example, `${system}` could be `x86_64-linux`. Using `nix develop` drops the
current session into a development shell with fixed Lean version.