Move GitHub workflow files to .github/workflows/ directory

This commit is contained in:
Oskar Stark
2025-12-18 19:48:18 +01:00
parent fb15363452
commit 6d71cd5ef9