4 Commits

Author	SHA1	Message	Date
Alex Rudenko	3499cbf4e1	chore: save test stats (#9138)	2022-10-19 15:21:18 +02:00
jrandolf	618ee743ca	chore: fix ToT CI (#9125)	2022-10-17 13:11:53 +02:00
jrandolf	6a05d8e9c1	chore: improve docs and scripts (#9107) ... This PR updates some docs and scripts related to the recent changes in the repository.	2022-10-13 18:55:11 +02:00
jrandolf	416d56b033	chore: refactor utils (#9053) ... This PR - renames the `utils` folder to `tools` (follows internal practice), - migrates the contents of `scripts` into `tools` and removes scripts.	2022-10-06 10:27:14 +02:00