Paulo Matos e01fd1a5a7 Revert "Speed up solo chez testing (#3322)" ... This reverts commit 8e2c6c966a. There is a test failure on i386 and an out of memory problem on arm64, so I am reverting this until I get those fixed.		2020-07-31 06:28:02 +02:00
..
matting.sh	Solo Chez build/test workflow (#3316)	2020-07-30 13:19:49 +02:00
summary	Solo Chez build/test workflow (#3316)	2020-07-30 13:19:49 +02:00
test.sh	Revert "Speed up solo chez testing (#3322)"	2020-07-31 06:28:02 +02:00