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

fix ci #426

Merged
merged 1 commit into from
Apr 25, 2023
Merged

fix ci #426

merged 1 commit into from
Apr 25, 2023

Conversation

f33r0
Copy link
Contributor

@f33r0 f33r0 commented Apr 25, 2023

No description provided.

@f33r0 f33r0 requested a review from vovac12 April 25, 2023 10:46
@f33r0 f33r0 self-assigned this Apr 25, 2023
@f33r0 f33r0 merged commit 740221f into develop Apr 25, 2023
3 checks passed
@f33r0 f33r0 deleted the fix_ci branch April 25, 2023 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vovac12 vovac12 vovac12 approved these changes

@Cre-eD Cre-eD Cre-eD approved these changes

@baotn166 baotn166 Awaiting requested review from baotn166

@safinsaf safinsaf Awaiting requested review from safinsaf

@BAStos525 BAStos525 Awaiting requested review from BAStos525

@wpi86 wpi86 Awaiting requested review from wpi86

@alexkg alexkg Awaiting requested review from alexkg

@RamilMus RamilMus Awaiting requested review from RamilMus

Assignees

@f33r0 f33r0

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@f33r0 @vovac12 @Cre-eD