Christian Clauss 9228f73332
GitHub Actions build: Add more tests
Re-enable some tests that were disabled in #6591.
Fixes #8818
2023-06-25 09:35:05 +02:00
..
2023-06-25 09:35:05 +02:00