Completed
Pull Request — develop (#1712)
by Christian
01:16 queued 54s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Christian Münch  
Merge 8cfdf4107addb3efea3fc957ebd2f51f9ecc45b2 into 2cdbc3c4834aaf185868aa1e25c58d1f2198fffa
5 more commits
Base
Christian Münch  
docs: update copilot instructions for running tests