removes the "compile-time" config in favor of "provided"#655

Merged

armanbilge merged 2 commits intotypelevel:mainfrom satorg:fix-compile-time

Oct 31, 2023

+5-3

Commits on Oct 26, 2023

rid of "compile-time" in favor of "provided"
satorg
committed

Commits on Oct 27, 2023

restore "compile-time" keeping it deprecated
satorg
committed