2 Commits

Author	SHA1	Message	Date
Jörg Thalheim	4cc40865f5	rename checks-integration -> checks-impure ... I think we should not use this for all integration tests	2023-08-27 10:00:22 +02:00
DavHau	7928e953fa	checks-integration: init	2023-08-27 00:24:19 +02:00