#!/usr/bin/env bash

set -ev

tools/lint
tools/run-mypy