message: Use pip to install turnt again
diff: @@ -62,13 +62,7 @@ jobs:
  run: cd bril-txt ; flit install --symlink
  - name: Install Turnt
  - # run: pip install turnt # Use instead if pip turnt version >= 1.6
  - uses: actions/checkout@v2
  - with:
  - repository: cucapra/turnt
  - path: './turnt'
  - - name: Install Turnt part 2
  - run: cd turnt ; flit install --symlink
  + run: pip install turnt
  - name: Problem matcher
  run: echo '::add-matcher::.github/tap-matcher.json'
  