Skip to content

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

Merged
Xinze-Li-Moqian merged 1 commit into
mainfrom
ci/incremental-build
May 19, 2026
Merged

ci: incremental build on PRs — drop forced fresh elaboration (6m → 30s)#46
Xinze-Li-Moqian merged 1 commit into
mainfrom
ci/incremental-build

ci: drop forced fresh elaboration on PRs — switch to incremental build

89f023d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar