Closed sequencer closed 3 weeks ago
Close #4382, basically modify it for caching circt/jextract in the mill out folder.
out
docs/src
3.6.x
5.x
6.x
7.0
Enable auto-merge (squash)
Please Merge
Create a merge commit
Close #4382, basically modify it for caching circt/jextract in the mill
out
folder.Contributor Checklist
docs/src
?Type of Improvement
Desired Merge Strategy
Release Notes
Reviewer Checklist (only modified by reviewer)
3.6.x
,5.x
, or6.x
depending on impact, API modification or big change:7.0
)?Enable auto-merge (squash)
, clean up the commit message, and label withPlease Merge
.Create a merge commit
.