Disable timing tests for both Docker and macOS builds#1325

Merged

hannahbast merged 4 commits intoad-freiburg:masterfrom joka921:no-timin-tests-on-docker

Apr 17, 2024

+87-84

Commits on Apr 15, 2024

Commits on Apr 17, 2024