diff --git a/.github/workflows/simulator_types.yml b/.github/workflows/simulator_types.yml
index 2e18373..2bf0ce9 100644
--- a/.github/workflows/simulator_types.yml
+++ b/.github/workflows/simulator_types.yml
@@ -20,4 +20,4 @@ jobs:
           npm i -g typescript
       - name: check if simulator (webxdc.js) and types (webxdc.d.ts) are in sync
         run: |
-          tsc --noEmit --allowJs webxdc.js
+          tsc --noEmit --allowJs --lib es2015,dom webxdc.js