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.

Sign up for GitHub

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

Jump to bottom

CI: Remove redundant step #737

Merged
merged 1 commit into from
Aug 18, 2024
Merged

CI: Remove redundant step #737

merged 1 commit into from
Aug 18, 2024

Conversation

oyamad
Copy link
Member

@oyamad oyamad commented Aug 16, 2024

Remove a redundant step?

@coveralls
Copy link

coveralls commented Aug 16, 2024 •
edited
Loading

Coverage Status

coverage: 92.972%. remained the same
when pulling d9b88c3 on ci
into ae7fb26 on main.

@oyamad oyamad added ready and removed in-work labels Aug 16, 2024
@oyamad oyamad merged commit bcba2ac into main Aug 18, 2024
20 checks passed
@oyamad oyamad deleted the ci branch August 18, 2024 05:06
@mmcky
Copy link
Contributor

mmcky commented Aug 18, 2024

thanks @oyamad

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
CI ready
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@oyamad @coveralls @mmcky