Skip to content

Ensure default option for pruning/disposing of cache sources is set properly#3901

Merged
WolframPfeifer merged 1 commit into
mainfrom
pfeifer/cachingDisposeSourceDefault
Jul 10, 2026
Merged

Ensure default option for pruning/disposing of cache sources is set properly#3901
WolframPfeifer merged 1 commit into
mainfrom
pfeifer/cachingDisposeSourceDefault

change default option for pruning/disposing of cache sources

c429f13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
succeeded Jul 10, 2026 in 40m 50s