fix: lake: save config trace before elab#3069

Merged

tydeu merged 1 commit intoleanprover:masterfrom tydeu:lake/pretrace-config

Dec 19, 2023

+22-8

Commits on Dec 19, 2023

fix: lake: save config trace before elab
tydeu
committed