Pipfile
[[source]]name = "pypi"url = "https://pypi.org/simple"verify_ssl = true [dev-packages]requests-mock = "*"black = "*"coverage = "*"flake8 = "*"flake8-docstrings = "*"flake8-black = "*"flake8-copyright = "*"flake8-file-encoding = "*"mypy = ">=0.500"pytest = "*"pytest-cov = "*"wheel = "*"mbed-targets = {editable = true, path = "."}mbed-tools-ci-scripts = "*"pre-commit = "*"# Additional requirements for ./ci_scriptsboto3 = "*"jinja2 = "*"mbed-os-tools = "*"PyGithub = "*" [pipenv]allow_prereleases = true