avoid pushing .drv.chroot files

This commit is contained in:
Domen Kožar 2022-06-24 14:45:43 -05:00
commit f5f67badd0

View file

@ -8,6 +8,10 @@ for file in /nix/store/*; do
# Avoid .drv as they are not generally useful
continue
;;
*.drv.chroot)
# Avoid .drv.chroot as they are not generally useful
continue
;;
*.check)
# Skip .check file produced by --keep-failed
continue