Skip to content

Don't wait on the linters before running the build.#364

Merged
willGraham01 merged 1 commit intomainfrom
363-linting-no-longer-needs-to-block-the-build
Jun 18, 2025
Merged

Don't wait on the linters before running the build.#364
willGraham01 merged 1 commit intomainfrom
363-linting-no-longer-needs-to-block-the-build

Conversation

@samcunliffe
Copy link
Member

No description provided.

@samcunliffe samcunliffe linked an issue Jun 18, 2025 that may be closed by this pull request
@samcunliffe samcunliffe requested a review from willGraham01 June 18, 2025 11:23
@samcunliffe samcunliffe added technical Technical and meta issues, not related to physics but infrastructure. housekeeping Code cleanup labels Jun 18, 2025
@willGraham01 willGraham01 enabled auto-merge (squash) June 18, 2025 11:40
@willGraham01 willGraham01 merged commit 75e8a0e into main Jun 18, 2025
26 of 27 checks passed
@willGraham01 willGraham01 deleted the 363-linting-no-longer-needs-to-block-the-build branch June 18, 2025 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Code cleanup technical Technical and meta issues, not related to physics but infrastructure.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Linting no longer needs to block the build

2 participants