Skip to content

Updated CI lint check - #46

Merged
antejavor merged 4 commits into
mainfrom
updated-CI-lint-check
Jul 19, 2024
Merged

Updated CI lint check#46
antejavor merged 4 commits into
mainfrom
updated-CI-lint-check

Conversation

@antejavor

@antejavor antejavor commented Jul 19, 2024

Copy link
Copy Markdown
Collaborator

Remove lint version check, and continue on lint error.

@antejavor
antejavor marked this pull request as ready for review July 19, 2024 08:57
@antejavor antejavor self-assigned this Jul 19, 2024
@antejavor antejavor added this to the Memgraph-0.1.4 milestone Jul 19, 2024
@antejavor
antejavor merged commit f5e0b50 into main Jul 19, 2024
@antejavor
antejavor deleted the updated-CI-lint-check branch July 19, 2024 09:10
as51340 pushed a commit that referenced this pull request Dec 2, 2024
* Updated lint check.
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.

2 participants