Time library not changing from DST on ESP32

Try this:

configTime(0, 0, "pool.ntp.org");  
setenv("TZ","GMTGMT-1,M3.4.0/01,M10.4.0/02",1); //added V2.19 as staying on BST

All NTP servers return time in UTC (~GMT)

edit

or, better just the following without the setenv() expression :

configTime( "GMT0BST,M3.5.0/1,M10.5.0" , "pool.ntp.org" ); // new format

See: Arduino/NTP-TZ-DST.ino at master · esp8266/Arduino · GitHub

and ensure your timezone exactly matches that in: Arduino/TZ.h at master · esp8266/Arduino · GitHub