Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: Add a basic test #3

Merged
merged 22 commits into from
Jun 30, 2024
Merged

CI: Add a basic test #3

merged 22 commits into from
Jun 30, 2024

Conversation

RuhiRG
Copy link
Member

@RuhiRG RuhiRG commented Jul 26, 2023

First attempt.

@RuhiRG RuhiRG requested a review from HaoZeke July 26, 2023 00:11
@RuhiRG RuhiRG self-assigned this Jul 26, 2023
@RuhiRG RuhiRG force-pushed the addCI branch 2 times, most recently from 32d0202 to 62fa6e2 Compare June 30, 2024 21:28
Copy link
Member

@HaoZeke HaoZeke left a comment

Choose a reason for hiding this comment

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

Very minor merge cruft aside, this looks great.

.gitignore Outdated Show resolved Hide resolved
.gitignore Outdated Show resolved Hide resolved
RuhiRG and others added 2 commits July 1, 2024 03:05
Co-authored-by: Rohit Goswami <[email protected]>
Co-authored-by: Rohit Goswami <[email protected]>
@RuhiRG RuhiRG requested a review from HaoZeke June 30, 2024 21:36
@HaoZeke HaoZeke added the gsoc24 label Jun 30, 2024
@HaoZeke HaoZeke merged commit 58b65bd into main Jun 30, 2024
1 check passed
@HaoZeke
Copy link
Member

HaoZeke commented Jun 30, 2024

Excellent, thanks @RuhiRG.

@HaoZeke HaoZeke deleted the addCI branch June 30, 2024 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants