Shorten name for badge

This commit is contained in:
Dirk Wetter
2025-05-20 16:43:06 +02:00
parent d87f5f68de
commit f8f00de5a0
2 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
---
name: CI runner Ubuntu
name: CI run Ubuntu
on:
pull_request: