7 lines
56 B
Bash
Executable file
7 lines
56 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -ev
|
|
|
|
tools/lint
|
|
tools/run-mypy
|