Skip to content
This repository has been archived by the owner on Apr 6, 2023. It is now read-only.

Add ci #2

Merged
merged 11 commits into from
Oct 11, 2022
Merged

Add ci #2

merged 11 commits into from
Oct 11, 2022

Conversation

lhoestq
Copy link
Member

@lhoestq lhoestq commented Sep 15, 2022

requires #1 to be merged first

@lhoestq lhoestq changed the base branch from add-stuff to main September 15, 2022 16:54
@mariosasko mariosasko marked this pull request as ready for review October 11, 2022 16:12
@lhoestq
Copy link
Member Author

lhoestq commented Oct 11, 2022

Thanks LGTM :)

(can't approve my own PR lol)

@mariosasko mariosasko merged commit e9982c7 into main Oct 11, 2022
@mariosasko mariosasko deleted the add-ci branch October 11, 2022 17:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants