message: Add `deno check` to CI
diff: @@ -24,6 +24,9 @@ jobs:
  with:
  python-version: '3.10'
  + - name: TypeScript check
  + run: cd bril-ts ; deno check brili.ts brilck.ts ts2bril.ts
  +
  - name: Install TypeScript tools
  run: cd bril-ts ; deno install brili.ts ; deno install brilck.ts ; deno install --allow-env --allow-read ts2bril.ts
  @@ -65,7 +68,7 @@ jobs:
  python-version: '3.10'
  - name: Install TypeScript tools
  - run: cd bril-ts ; deno install brili.ts ; deno install brilck.ts ; deno install --allow-env --allow-read ts2bril.ts
  + run: cd bril-ts ; deno install brilck.ts
  - name: Install Flit
  run: pip install flit
  