Skip to content

Latest commit

 

History

History

sandbox

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

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.

dockeri.co

Scripts (Beta)

Add a new mypy version

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

Deploy to Cloud Functions

$ RUNTIME=python311 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>