Skip to content

Reenable a suppressed flag - #1243

Draft
skberkeley wants to merge 2 commits into
primaryfrom
skberkeley/reenable-a-flag
Draft

Reenable a suppressed flag#1243
skberkeley wants to merge 2 commits into
primaryfrom
skberkeley/reenable-a-flag

Conversation

@skberkeley

Copy link
Copy Markdown
Member

This broke typechecking somewhere, but should now be fixed after the latest Luau update.

@skberkeley skberkeley self-assigned this Jul 21, 2026
@skberkeley skberkeley added the infra Infrastructure improvements label Jul 21, 2026
@skberkeley
skberkeley requested a review from a team as a code owner July 21, 2026 18:41
@hgoldstein

Copy link
Copy Markdown
Contributor

Apparently not :( y'all might need a newer Luau version?

@skberkeley
skberkeley marked this pull request as draft July 21, 2026 18:49
@aatxe

aatxe commented Jul 27, 2026

Copy link
Copy Markdown
Member

We just updated to 731, so worth a shot now.

@aatxe
aatxe marked this pull request as ready for review July 27, 2026 19:57
@aatxe
aatxe enabled auto-merge (squash) July 27, 2026 19:57
@skberkeley
skberkeley marked this pull request as draft July 27, 2026 20:01
auto-merge was automatically disabled July 27, 2026 20:01

Pull request was converted to draft

@skberkeley

Copy link
Copy Markdown
Member Author

We just updated to 731, so worth a shot now.

I don't think a fix exists yet, parking in draft for now

@hgoldstein

Copy link
Copy Markdown
Contributor

I just landed a (very hacky) fix that would go out in ... 733 I think.

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

Labels

infra Infrastructure improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants