"include/vscode:/vscode.git/clone" did not exist on "44be91d3d15b485aed091f920e863545a8765489"
Unverified Commit 9ff01a08 authored by Anirudh's avatar Anirudh Committed by GitHub
Browse files

Install missing stubs for mypy (#4014)

parent 69f2e1b3
......@@ -205,6 +205,7 @@ jobs:
sudo apt-get update -y
sudo apt install -y libturbojpeg-dev
pip install --user --progress-bar off mypy
pip install --user --progress-bar off types-requests
pip install --user --progress-bar off --pre torch -f https://download.pytorch.org/whl/nightly/cpu/torch_nightly.html
pip install --user --progress-bar off --editable .
mypy --config-file mypy.ini
......
......@@ -205,6 +205,7 @@ jobs:
sudo apt-get update -y
sudo apt install -y libturbojpeg-dev
pip install --user --progress-bar off mypy
pip install --user --progress-bar off types-requests
pip install --user --progress-bar off --pre torch -f https://download.pytorch.org/whl/nightly/cpu/torch_nightly.html
pip install --user --progress-bar off --editable .
mypy --config-file mypy.ini
......
......@@ -201,7 +201,7 @@ def download_file_from_google_drive(file_id: str, root: str, filename: Optional[
md5 (str, optional): MD5 checksum of the download. If None, do not check
"""
# Based on https://stackoverflow.com/questions/38511444/python-download-files-from-google-drive-using-url
import requests # type: ignore
import requests
url = "https://docs.google.com/uc?export=download"
root = os.path.expanduser(root)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment