This repository was archived by the owner on Sep 9, 2026. It is now read-only.

§4: gate the pull request - #1

Merged

MichalAFerber merged 1 commit into

mainfrom

standards/ci-gate

Aug 4, 2026

Select a check to view from the sidebar