Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: comment out gas linter #1818

Merged
merged 1 commit into from
Oct 14, 2022
Merged

chore: comment out gas linter #1818

merged 1 commit into from
Oct 14, 2022

Conversation

joshua-goldstein
Copy link
Contributor

Problem

gas linter was running gosec, which we will resolve later.

Solution

We comment out gas linter.

@joshua-goldstein joshua-goldstein marked this pull request as ready for review October 14, 2022 23:08
@skrdgraph skrdgraph merged commit 7a3a87a into main Oct 14, 2022
@skrdgraph skrdgraph deleted the chore-comment-out-gas branch October 14, 2022 23:09
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.01%) to 60.708% when pulling ab14497 on chore-comment-out-gas into 17eb1bc on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@skrdgraph skrdgraph skrdgraph approved these changes

@akon-dey akon-dey Awaiting requested review from akon-dey

@gcxml gcxml Awaiting requested review from gcxml

@billprovince billprovince Awaiting requested review from billprovince

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@joshua-goldstein @coveralls @skrdgraph