feat(ci): enforce branch strategy main←development←feature (closes #40)#41

Xinze-Li-Moqian merged 1 commit into

developmentMathNetwork/ProofAtlas:developmentfrom

feat/40-enforce-branch-strategyMathNetwork/ProofAtlas:feat/40-enforce-branch-strategyCopy head branch name to clipboard