Skip to content

chore: add delay for docker tools, doc updates#80

Merged
tanmaykm merged 1 commit intomainfrom
tan/misc2
Jul 26, 2024
Merged

chore: add delay for docker tools, doc updates#80
tanmaykm merged 1 commit intomainfrom
tan/misc2

Conversation

@tanmaykm
Copy link
Member

Added slight delay in tools for docker commands to avoid a harmless but unnecessary error message. Corrected codecov badge in README.
Stated a new file CONTRIBUTING.md with development specific notes.

Added slight delay in tools for docker commands to avoid a harmless but unnecessary error message.
Corrected codecov badge in README.
Stated a new file CONTRIBUTING.md with development specific notes.
@tanmaykm tanmaykm requested a review from vdayanand July 26, 2024 07:11
@tanmaykm tanmaykm merged commit 2d44798 into main Jul 26, 2024
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