Skip to content

add ci#3

Merged
cpanato merged 5 commits intomainfrom
add-ci
Jan 13, 2023
Merged

add ci#3
cpanato merged 5 commits intomainfrom
add-ci

Conversation

@cpanato
Copy link
Copy Markdown
Member

@cpanato cpanato commented Jan 13, 2023

Fixes: #2

@cpanato cpanato requested a review from vaikas January 13, 2023 10:13
Copy link
Copy Markdown
Member

@vaikas vaikas left a comment

Choose a reason for hiding this comment

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

This is awesome!

@cpanato cpanato merged commit 56b4e1c into main Jan 13, 2023
@mattmoor mattmoor deleted the add-ci branch March 9, 2024 22:14
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.

Need to add CI to this repo.

2 participants