Remove old code and speed CI#124
Merged
mfschubert merged 3 commits intomain from fasterJul 11, 2024
+133-460
Commits
Commits on Jul 11, 2024
- authored andMartin SchubertcommittedMartin Schubert
- authored andMartin SchubertcommittedMartin Schubert
- authored andMartin SchubertcommittedMartin Schubert