Skip to content
This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

185 - Ignore linting file #195

Merged
merged 15 commits into from
Nov 14, 2023
Merged

Conversation

github-actions[bot]
Copy link

Solves #185

@0xmemorygrinder 0xmemorygrinder force-pushed the feature/185-ignore-linting-file-staging branch from 131d92d to de54591 Compare November 1, 2023 20:33
@ByFishh ByFishh force-pushed the feature/185-ignore-linting-file-staging branch from 2605481 to 7f6ac62 Compare November 3, 2023 10:10
@EnzoBonato EnzoBonato marked this pull request as ready for review November 3, 2023 14:27
Copy link
Contributor

@0xmemorygrinder 0xmemorygrinder left a comment

Choose a reason for hiding this comment

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

Please see comments and don't forget to increment crates versions

toolchains/solidity/core/crates/linter-lib/src/ignore.rs Outdated Show resolved Hide resolved
toolchains/solidity/core/crates/linter-cli/src/main.rs Outdated Show resolved Hide resolved
toolchains/solidity/core/crates/linter-lib/src/linter.rs Outdated Show resolved Hide resolved
@0xmemorygrinder 0xmemorygrinder force-pushed the feature/185-ignore-linting-file-staging branch from 1215509 to 0d05c09 Compare November 6, 2023 18:36
Copy link
Contributor

@0xmemorygrinder 0xmemorygrinder left a comment

Choose a reason for hiding this comment

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

You should fix the failed CI checks and increment the version of linter-server crate

Copy link
Contributor

@0xSwapFeeder 0xSwapFeeder left a comment

Choose a reason for hiding this comment

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

lgtm

@0xmemorygrinder 0xmemorygrinder merged commit 57660cb into dev Nov 14, 2023
@0xmemorygrinder 0xmemorygrinder deleted the feature/185-ignore-linting-file-staging branch December 1, 2023 17:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

4 participants