ci: incremental build on PRs — drop forced fresh elaboration (6m → 30s)#46

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/OpenGA:mainfrom

ci/incremental-buildMathNetwork/OpenGA:ci/incremental-buildCopy head branch name to clipboard