History

jo 7002da8347 chore: update tools packages test		2022-07-07 10:51:07 +02:00
..
Makefile	test: require lint to succeed for shared/ and tools/	2022-01-26 10:15:35 +02:00
README.md	Rename scripts/ to tools/	2021-09-07 23:03:19 +02:00
__init__.py	Rename scripts/ to tools/	2021-09-07 23:03:19 +02:00
bump-python-version.sh	chore: add bump python version tool	2022-04-25 21:37:23 +02:00
extract-requirements.sh	chore: always build egg (#1654 )	2022-03-01 14:40:34 +02:00
packages.py	ci: build test images for ubuntu jammy (#1743 )	2022-04-09 16:18:12 +02:00
packages_test.py	chore: update tools packages test	2022-07-07 10:51:07 +02:00
pyproject.toml	test(tools): fix mypy linters	2022-01-26 10:15:35 +02:00
python.mk	chore: update python tests target	2022-06-30 13:24:05 +02:00
version.sh	chore: change dev version format to <latest_tag>-dev+<current_sha>	2022-04-25 21:37:23 +02:00

Tools

This folder contains scripts/tools to manage the project.