Commit Graph

2 Commits

Author SHA1 Message Date
jrandolf
618ee743ca
chore: fix ToT CI (#9125) 2022-10-17 13:11:53 +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