.github: fix

This commit is contained in:
Felix Lange 2025-07-04 14:55:50 +02:00
parent 2387d87d51
commit dce7eecf77