Make the example names unique across workspace (#7046)

Avoids name collision in the target directory when running test
compilation.

cc @rgwood
This commit is contained in:
Stefan Holderbach 2022-11-07 09:00:21 +01:00 committed by GitHub
parent a6118eed8d
commit 611fe41788
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 0 additions and 0 deletions