Skip to content

Conversation

@mattnite
Copy link
Contributor

Fixes #782

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

🔍 Lint Results

Found 10 issues in 1 file:

  • tools/linter/src/main.zig: 10 issues

⚠️ Could not attach inline comments due to an error.

@github-actions github-actions bot dismissed their stale review December 25, 2025 02:08

Updating with new lint results

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

🔍 Lint Results

Found 3 issues in 1 file:

  • tools/linter/src/main.zig: 3 issues

@mattnite mattnite changed the title Enforce ticket links with new TODO/FIXME comments Linter: remind contributors to attach issue links with TODO comments Dec 25, 2025
@github-actions github-actions bot dismissed their stale review December 25, 2025 02:14

Updating with new lint results

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

🔍 Lint Results

Found 3 issues in 1 file:

  • tools/linter/src/main.zig: 3 issues

⚠️ Could not attach inline comments due to an error.

@github-actions github-actions bot dismissed their stale review December 25, 2025 02:20

Updating with new lint results

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

🔍 Lint Results

Found 2 issues on changed lines in 1 file:

  • tools/linter/src/main.zig: 2 issues
ℹ️ Additional issues on unchanged lines
The following 1 issue(s) exist but are not on lines changed in this PR:

tools/linter/src/main.zig:71: TODO style comments need to have a linked microzig issue on the same line.

@github-actions github-actions bot dismissed their stale review December 25, 2025 02:25

Updating with new lint results

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

🔍 Lint Results

ℹ️ Additional issues on unchanged lines
The following 1 issue(s) exist but are not on lines changed in this PR:

tools/linter/src/main.zig:69: TODO style comments need to have a linked microzig issue on the same line.

@mattnite mattnite merged commit 84b3d68 into main Dec 25, 2025
127 of 130 checks passed
@mattnite mattnite deleted the lint-todo branch December 25, 2025 07:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Linter: require issue links with TODOs and FIXMEs

2 participants