diff --git a/.github/workflows/app-failure-fixtures.yml b/.github/workflows/app-failure-fixtures.yml index 023928b..600b084 100644 --- a/.github/workflows/app-failure-fixtures.yml +++ b/.github/workflows/app-failure-fixtures.yml @@ -41,13 +41,6 @@ jobs: - name: Trigger TYPECHECK failure if: ${{ env.SCENARIO == 'typecheck' }} run: | - cat > app_failure_typecheck.py <<'PY' - def needs_int(value: int) -> int: - return value - - result: int = needs_int("7") - print(result) - PY mypy app_failure_typecheck.py - name: Trigger SYNTAX failure diff --git a/app_failure_typecheck.py b/app_failure_typecheck.py new file mode 100644 index 0000000..41431a7 --- /dev/null +++ b/app_failure_typecheck.py @@ -0,0 +1,5 @@ +def needs_int(value: int) -> int: + return value + +result: int = needs_int("7") +print(result)