Merge pull request from matrix-org/dbkr/rename_type_check_action

Rename type checking script
This commit is contained in:
David Baker 2021-09-09 09:30:31 +01:00 committed by GitHub
commit 12ff67ff6a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
name: Lint
name: Type Check
on:
pull_request:
branches: [develop]