Skip to content

ci: Prevent commit / PR ending with period#1387

Merged
PhilippeWeidmann merged 1 commit intomasterfrom ci-prevent-periodJan 20, 2025

Commits

Commits on Jan 20, 2025