Skip to content

fix: resolve mypy type errors in batch manager and submission#579

Merged
Muizzkolapo merged 1 commit into
integration/batch-online-unificationfrom
fix/mypy-type-errors
May 19, 2026
Merged

fix: resolve mypy type errors in batch manager and submission#579
Muizzkolapo merged 1 commit into
integration/batch-online-unificationfrom
fix/mypy-type-errors

Conversation

@Muizzkolapo
Copy link
Copy Markdown
Owner

Summary

  • batch.py:206rid from r.get("record_id") is Any | None; guard None before set.add(str)
  • submission.py:295self._storage_backend is Any | None; early return when None before passing to _safe_set_disposition

Fixes CI mypy failures blocking the integration → main merge.

Verification

  • uv run mypy passes on both files

- batch.py:206 — guard None rid before adding to set[str]
- submission.py:295 — early return when storage_backend is None
@Muizzkolapo Muizzkolapo merged commit 5431cab into integration/batch-online-unification May 19, 2026
1 check passed
@github-actions github-actions Bot locked and limited conversation to collaborators May 19, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant