Create static GitHub Copilot instructions file and restore environment setup workflow#771
Merged
BenjaminMichaelis merged 11 commits intomainfrom Aug 29, 2025
Commits
Commits on Aug 27, 2025
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Commits on Aug 29, 2025
- authored
- authored
- authored
- authored
- committed