Skip to content

Latest commit

 

History

History

scripts

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Development Scripts

The scripts follow GitHub's "Scripts to Rule Them All".

Call them from the root of the project, e.g. ./scripts/lint.sh.

  • scripts/lint.sh - Run the automated code linting/formatting tools.
  • scripts/release.sh - Publish package to PyPI.
  • scripts/run-tests.sh - Run the test suite.