Skip to content

update lint script to more limited 'lint-prod' version - #335

Merged
foundling merged 1 commit into
masterfrom
stage
Oct 25, 2023
Merged

update lint script to more limited 'lint-prod' version#335
foundling merged 1 commit into
masterfrom
stage

Conversation

@foundling

Copy link
Copy Markdown
Contributor

adjusted the lint script for the immediate term to avoid style linting and relax code linting, partially for expediency, partially because some of the linting rules feel burdensome. i will review and restore this to a better state when i have time after the 10/31/23 deadline, possibly sooner.

@foundling
foundling merged commit ef97c5b into master Oct 25, 2023
@sonarqubecloud

Copy link
Copy Markdown

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

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.

1 participant