| #!/bin/bash | |
| set -e | |
| SCRIPT_DIR=$(cd $(dirname "$0") && pwd -P) | |
| WPT_ROOT=$SCRIPT_DIR/../.. | |
| cd $WPT_ROOT | |
| main() { | |
| git fetch --quiet --unshallow https://github.com/web-platform-tests/wpt.git +refs/heads/*:refs/remotes/origin/* | |
| pip install --user -U tox codecov | |
| cd tools/wpt | |
| tox | |
| } | |
| main |