Move theater into game.

2025-11-10 14:22:26 +00:00 · 2020-11-17 18:11:33 -08:00
parent 482bedd739
commit 8345063e84
41 changed files with 1363 additions and 1369 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -36,11 +36,6 @@ jobs:
      run: |
        ./venv/scripts/activate
        mypy gen
-
-    - name: mypy theater
-      run: |
-        ./venv/scripts/activate
-        mypy theater
      
    - name: update build number
      run: |
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -43,11 +43,6 @@ jobs:
        ./venv/scripts/activate
        mypy gen

-    - name: mypy theater
-      run: |
-        ./venv/scripts/activate
-        mypy theater
-
    - name: Build binaries
      run: |
        ./venv/scripts/activate