Prevent capital file extensions

ci: added workflow that labels PRs based on commits #1

Sign in to view logs

Triggered via push December 28, 2025 16:16

Tygo-van-den-Hurk

main

Status Success

Total duration 8s

Artifacts –

many--prevent-wrong-file-names.yaml

on: push

Check all files

⚡