rename workflow

This commit is contained in:
Ulf Gebhardt 2025-01-31 09:02:04 +01:00
parent b9991d6041
commit 27d8a9d7e2
Signed by: ulfgebhardt
GPG Key ID: DA6B843E748679C9

View File

@ -1,4 +1,4 @@
name: test:lint
name: test::examples
on: push