Shake CI and docs up

This commit is contained in:
Anmol Sethi
2020-02-14 18:54:52 -05:00
parent b8fa7da972
commit 80b1b1b672
49 changed files with 392 additions and 1424 deletions

11
ci/clean.sh Executable file
View File

@@ -0,0 +1,11 @@
#!/usr/bin/env bash
set -euo pipefail
main() {
git clean -xffd
git submodule foreach --recursive git clean -xffd
git submodule foreach --recursive git reset --hard
}
main "$@"