Skip to content

prevent bad arithmetic operators in gendocs#8332

Merged
sovdeeth merged 2 commits intoSkriptLang:dev/patchfrom
sovdeeth:patch/fake-arithmetic
Dec 31, 2025
Merged

prevent bad arithmetic operators in gendocs#8332
sovdeeth merged 2 commits intoSkriptLang:dev/patchfrom
sovdeeth:patch/fake-arithmetic

Conversation

@sovdeeth
Copy link
Member

Problem

image

Solution

checks for TestMode.GEN_DOCS

Testing Completed

Supporting Information


Completes: none
Related: none
AI assistance: none

@sovdeeth sovdeeth requested a review from a team as a code owner December 28, 2025 07:52
@sovdeeth sovdeeth added the bug An issue that needs to be fixed. Alternatively, a PR fixing an issue. label Dec 28, 2025
@sovdeeth sovdeeth requested a review from a team as a code owner December 28, 2025 07:52
@sovdeeth sovdeeth requested review from TheMug06 and removed request for a team December 28, 2025 07:52
@skriptlang-automation skriptlang-automation bot added the needs reviews A PR that needs additional reviews label Dec 28, 2025
@sovdeeth sovdeeth moved this to In Review in 2.14 Releases Dec 28, 2025
@github-project-automation github-project-automation bot moved this from In Review to Awaiting Merge in 2.14 Releases Dec 28, 2025
@skriptlang-automation skriptlang-automation bot added patch-ready A PR/issue that has been approved and is ready to be merged/closed for the next patch version. and removed needs reviews A PR that needs additional reviews labels Dec 28, 2025
@sovdeeth sovdeeth merged commit beda9bb into SkriptLang:dev/patch Dec 31, 2025
5 checks passed
@github-project-automation github-project-automation bot moved this from Awaiting Merge to Done - Awaiting Release in 2.14 Releases Dec 31, 2025
@skriptlang-automation skriptlang-automation bot added completed The issue has been fully resolved and the change will be in the next Skript update. and removed patch-ready A PR/issue that has been approved and is ready to be merged/closed for the next patch version. labels Dec 31, 2025
@APickledWalrus APickledWalrus moved this from Done - Awaiting Release to Done - Released in 2.14 Releases Jan 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug An issue that needs to be fixed. Alternatively, a PR fixing an issue. completed The issue has been fully resolved and the change will be in the next Skript update.

Projects

Status: Done - Released

Development

Successfully merging this pull request may close these issues.

3 participants

Comments