fix: Remove more instances of `AnyDuringMigration` by gonfunko · Pull Request #9562 · RaspberryPiFoundation/blockly

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Merged

gonfunko merged 2 commits intomainfrom

anys

Jan 12, 2026

Conversation

@gonfunko

Copy link Copy Markdown

Contributor

The basics

The details

Resolves

Fixes part of #6920

Proposed Changes

This PR removes some casts to AnyDuringMigration and replaces them with accurate types.

@gonfunko gonfunko requested a review from a team as a code owner

January 12, 2026 18:26

@gonfunko gonfunko requested a review from maribethb

January 12, 2026 18:26

@github-actions github-actions bot added the PR: fix

Fixes a bug

label

Jan 12, 2026
Copy link Copy Markdown

Contributor

@maribethb maribethb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm but please run lint:fix

@gonfunko

Copy link Copy Markdown

Contributor Author

Done, sorry about that!

@gonfunko gonfunko merged commit 9fc05df into main

Jan 12, 2026

7 checks passed

@gonfunko gonfunko deleted the anys branch

January 12, 2026 19:23

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@maribethb maribethb maribethb approved these changes

Assignees

@maribethb maribethb

Labels

PR: fix

Fixes a bug

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@gonfunko @maribethb