[infra] update from pymor

René Fritzerequested to merge
infra_update into main

greatly improves layer caching

Edited by René Fritze

Merge request reports