Thu, 15 Dec 2022 14:55:30 +0100 | Edouard Tisserant | Merge | changeset | files |
Thu, 15 Dec 2022 14:54:05 +0100 | Edouard Tisserant | Backed out changeset ddadbdf20e70, no effect on current problem. | changeset | files |
Tue, 13 Dec 2022 22:04:16 +0100 | etisserant | GH CI: try reverting to previous version of ubuntu | changeset | files |
Thu, 15 Dec 2022 14:49:52 +0100 | Edouard Tisserant | IDE tests: ensure that file browser idled before entering path in new_project | changeset | files |