chore: Add minimal CI setup accommodating PRs on GitHub.#962
Merged
michael-simons merged 1 commit intomasterfrom Nov 12, 2025
Merged
chore: Add minimal CI setup accommodating PRs on GitHub.#962michael-simons merged 1 commit intomasterfrom
michael-simons merged 1 commit intomasterfrom