Vadim Zeitlin db65742dbc Remove some files on GitHub Action runner to free up some space ...

Our CI jobs constantly fail due to the lack of disk space, so free up
some space by removing unnecessary directories following suggestions at
https://github.com/actions/runner-images/issues/2840

2024-03-16 01:09:53 +01:00

..

ISSUE_TEMPLATE

Ask to specify the build system used in build problem template

2023-11-13 01:55:46 +01:00

workflows

Remove some files on GitHub Action runner to free up some space

2024-03-16 01:09:53 +01:00

CONTRIBUTING.md

…