Move GitHub workflow files to .github/workflows/ directory

This commit is contained in:
Oskar Stark
2025-12-18 19:48:18 +01:00
parent 6676bc09be
commit f16d3e21cc