Thu, 20 Jul 2023 17:04:14 +0200Update run_tests_in_docker.yml
etisserant <edouard.tisserant@gmail.com> [Thu, 20 Jul 2023 17:04:14 +0200] rev 3827
Update run_tests_in_docker.yml

Thu, 20 Jul 2023 16:27:20 +0200Update .gitignore
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 20 Jul 2023 16:27:20 +0200] rev 3826
Update .gitignore