Skip to content

chore: delete Mintfile#34

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

chore: delete Mintfile#34
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
@spacecode-github-bot
Copy link
Copy Markdown

1 Message
📖 ✅ Great job! All checks passed.

Generated by 🚫 Danger

@ns-vasilev ns-vasilev merged commit 45d0cfc into main Dec 20, 2025
3 checks passed
@ns-vasilev ns-vasilev deleted the remove-mintfile branch December 20, 2025 05:21
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