Skip to content

chore: delete Mintfile#41

Merged
ns-vasilev merged 1 commit intomainfrom
remove-mintfile
Dec 19, 2025
Merged

chore: delete Mintfile#41
ns-vasilev merged 1 commit intomainfrom
remove-mintfile

Conversation

@ns-vasilev
Copy link
Copy Markdown
Member

No description provided.

@ns-vasilev ns-vasilev self-assigned this Dec 19, 2025
@ns-vasilev ns-vasilev requested a review from a team as a code owner December 19, 2025 18:38
@spacecode-github-bot
Copy link
Copy Markdown

1 Message
📖 ✅ Great job! All checks passed.

Generated by 🚫 Danger

@ns-vasilev ns-vasilev merged commit 1808832 into main Dec 19, 2025
4 checks passed
@ns-vasilev ns-vasilev deleted the remove-mintfile branch December 19, 2025 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants