From 403b80f9776a8cdbc09899465b57a739379d3e92 Mon Sep 17 00:00:00 2001 From: Hood Chatham Date: Fri, 3 May 2024 18:35:21 +0200 Subject: [PATCH 1/2] Introduce a type error --- sphinx_js/js/ir.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx_js/js/ir.ts b/sphinx_js/js/ir.ts index d38813d..ea61b5a 100644 --- a/sphinx_js/js/ir.ts +++ b/sphinx_js/js/ir.ts @@ -134,7 +134,7 @@ export type _MembersAndSupers = { export type Interface = TopLevel & _MembersAndSupers & { type_params: TypeParam[]; - kind: "interface"; + kind: "interfaces"; }; export type Class = TopLevel & From a522da11409db42c9146bd98c61cb4f72c1e5ea2 Mon Sep 17 00:00:00 2001 From: Hood Chatham Date: Fri, 3 May 2024 18:36:44 +0200 Subject: [PATCH 2/2] try again with permissions --- .github/workflows/check_ts.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/check_ts.yml b/.github/workflows/check_ts.yml index 726b53a..c1e895a 100644 --- a/.github/workflows/check_ts.yml +++ b/.github/workflows/check_ts.yml @@ -6,6 +6,7 @@ permissions: write-all jobs: ts: runs-on: ubuntu-latest + permissions: write-all steps: - uses: actions/checkout@v3 - name: Get diff lines