README.md

Sandbox

This directory contains sandbox environments for running mypy and utility scripts.

Cloud Functions

Use Google's Cloud Functions to run mypy.

Docker

Use Docker to run mypy. Images are currently available on Docker Hub.

Scripts (Beta)

Add a new mypy version

$ ./add_version.sh 0.930
$ ./update_latest.sh 0.930

Deploy to Cloud Functions

$ RUNTIME=python312 REGION=us-central1 INVOKER_MEMBER=serviceAccount:... SERVICE_ACCOUNT=... ./deploy.sh latest

Build all Docker images

$ ./build.sh <image_name>

Push all Docker images

$ ./push.sh <image_name>