tree: 942e58aab29182648e7485c433b94006db20dba6 [path history] [tgz]
  1. build-docs.sh
  2. build-site.sh
  3. check-ascii.sh
  4. check-generated.sh
  5. check-licence-headers.sh
  6. check-vendoring.sh
  7. clang-format.sh
  8. exec-check.sh
  9. get-build-type.sh
  10. include-guard.sh
  11. lint-commits.sh
  12. mypy.sh
  13. python-lint.sh
  14. README.md
  15. show-env.sh
  16. verible-format.sh
  17. verible-lint.sh
ci/scripts/README.md

CI scripts

These scripts are run as part of CI. The top-level orchestration is contained in azure-pipelines.yml.