1
Fork 0
mirror of https://github.com/RGBCube/alejandra synced 2025-07-30 12:07:46 +00:00

feat: add drv count

This commit is contained in:
Kevin Amado 2022-02-08 20:34:24 -05:00
parent b9886bd88c
commit 900f1f6f35
No known key found for this signature in database
GPG key ID: FFF341057F503148
2 changed files with 3 additions and 1 deletions

View file

@ -37,6 +37,8 @@ steps:
- echo +++ Closure diff
- git diff --no-index before after || true
- git diff --no-index before after --shortstat || true
- echo +++ Derivations
- grep -c drvPath= after
- label: flake check
command: