Detect core src directory#355

Merged

mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/core-stage0-handling

Nov 14, 2023

+20-3

Commits on Nov 10, 2023

fix: detect core src directory
mhuisi
committed