Add dev tools to circle ci

2026-08-31 21:14:46 +08:00 · 2017-12-27 14:10:47 +11:00
parent 70bd860287
commit 6e1a5aef2c
1 changed files with 1 additions and 0 deletions
@@ -22,4 +22,5 @@ jobs:
      - checkout

      # specify any bash command here prefixed with `run: `
+      - run: ./scripts/devtools.sh
      - run: make local test