This repository has been archived on 2025-05-18. You can view files and clone it. You cannot open issues or pull requests or push a commit.

kjeld Schouten-Lebbing 2bc590f6cd only run prune when manually triggered. ...

Versions now get pruned by the upload script

2021-09-12 10:11:01 +02:00

..

workflows

only run prune when manually triggered.

2021-09-12 10:11:01 +02:00