Skip to content

chore: Add CI#2

Merged
kodiakhq[bot] merged 1 commit intomainfrom
chore/add_ci
May 29, 2023
Merged

chore: Add CI#2
kodiakhq[bot] merged 1 commit intomainfrom
chore/add_ci

Conversation

@erezrokah
Copy link
Copy Markdown
Member

Fixes #1

@erezrokah erezrokah requested a review from yevgenypats as a code owner May 29, 2023 16:03
@erezrokah erezrokah added the automerge Add to automerge PRs once requirements are met label May 29, 2023
}
return total
} No newline at end of file
}
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Discovered by the linter check

@kodiakhq kodiakhq bot merged commit 666462e into main May 29, 2023
@kodiakhq kodiakhq bot deleted the chore/add_ci branch May 29, 2023 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge Add to automerge PRs once requirements are met

Projects

None yet

Development

Successfully merging this pull request may close these issues.

chore: Add CI

2 participants