etisserant <edouard.tisserant@gmail.com> [Tue, 13 Dec 2022 22:04:16 +0100] rev 3699
GH CI: try reverting to previous version of ubuntu
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 15 Dec 2022 14:49:52 +0100] rev 3698
IDE tests: ensure that file browser idled before entering path in new_project
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 15 Dec 2022 14:46:48 +0100] rev 3697
tests/tools: move comment and remove dead code in Dockerfile