Guillaume Gomez 4ef0d19bec Add --mini-tests option and run mini-tests in CI		2022-06-29 15:40:11 +02:00
..
ci.yml	Add --mini-tests option and run mini-tests in CI	2022-06-29 15:40:11 +02:00