Skip to content

Pre-commit update: Add ref for scheduled build and hint for maintainers#32

Merged
christophfroehlich merged 4 commits intomasterfrom add_ref_for_scheduled_buildMar 12, 2024