Marc Wrobel a061e41789 Minimize cache size (closes #53) ...

Add --depth=1 to the git fetch command to minimize the git repositories size. A test showed that this reduced the cache size from 7507 MB to 962 MB.

2023-01-03 09:03:36 +00:00

..

workflows

Minimize cache size (closes #53)

2023-01-03 09:03:36 +00:00