Skip to content

cli: add --skip-lint option#1482

Merged
armaniferrante merged 7 commits into
otter-sec:masterfrom
paul-schaaf:cli/skip-lint-option
Feb 21, 2022
Merged

cli: add --skip-lint option#1482
armaniferrante merged 7 commits into
otter-sec:masterfrom
paul-schaaf:cli/skip-lint-option

Conversation

@paul-schaaf

@paul-schaaf paul-schaaf commented Feb 20, 2022

Copy link
Copy Markdown
Contributor

Comment thread cli/src/lib.rs Outdated
@armaniferrante

Copy link
Copy Markdown
Contributor

Submodules merged. CFO test failing.

@armaniferrante armaniferrante merged commit c0b2fd7 into otter-sec:master Feb 21, 2022
Otter-0x4ka5h pushed a commit to Otter-0x4ka5h/anchor that referenced this pull request Mar 25, 2026
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.

cli: provide --skip-lint option to anchor build

3 participants