2 Commits

Author	SHA1	Message	Date
Hofer-Julian	41306aa7e0	Reduce again the number of match calls (#7815) ... - Reduce the number of match calls (see commit messages) - A few miscellaneous improvements	2023-01-24 12:23:42 +01:00
Stefan Holderbach	611fe41788	Make the example names unique across workspace (#7046) ... Avoids name collision in the target directory when running test compilation. cc @rgwood	2022-11-07 09:00:21 +01:00