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

fix-floss-folder-name #1745

Merged
merged 1 commit into from
Nov 5, 2024
Merged

fix-floss-folder-name #1745

merged 1 commit into from
Nov 5, 2024

Conversation

f1sh1918
Copy link
Contributor

@f1sh1918 f1sh1918 commented Nov 5, 2024

Short description

fix failing main due to flavor rename

@f1sh1918 f1sh1918 marked this pull request as ready for review November 5, 2024 13:10
Copy link
Contributor

@seluianova seluianova left a comment

Choose a reason for hiding this comment

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

thx for the quick fix!

@f1sh1918 f1sh1918 merged commit 5080494 into main Nov 5, 2024
2 checks passed
@f1sh1918 f1sh1918 deleted the fix-floss-folder-name branch November 5, 2024 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants