Skip to content

Development tools configuration #2572

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
Merged
DariuszDepta merged 9 commits into from
Dec 9, 2025
Merged

Development tools configuration #2572

DariuszDepta merged 9 commits into from
Dec 9, 2025
+1,653 −574

Conversation

@DariuszDepta
Copy link
Member

@DariuszDepta DariuszDepta commented Dec 5, 2025 •
edited
Loading

  • Added Taskfile.yml with commands for development.
  • Fixed documentation in contracts.
  • Added lacking integration tests.
  • Backported the new GitHub workflows.

@DariuszDepta DariuszDepta requested a review from pinosu December 5, 2025 16:36
@DariuszDepta DariuszDepta self-assigned this Dec 5, 2025
@DariuszDepta DariuszDepta added this to the 2.3.0 milestone Dec 5, 2025
@DariuszDepta DariuszDepta marked this pull request as draft December 5, 2025 16:36
@DariuszDepta DariuszDepta marked this pull request as ready for review December 9, 2025 09:27
pinosu
pinosu approved these changes Dec 9, 2025
View reviewed changes
Copy link

@pinosu pinosu left a comment

Choose a reason for hiding this comment

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

LGTM 👍

@DariuszDepta DariuszDepta merged commit 7271849 into develop/v2.3.0 Dec 9, 2025
52 checks passed
@DariuszDepta DariuszDepta deleted the dev-tools branch December 9, 2025 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@pinosu pinosu pinosu approved these changes

Assignees

@DariuszDepta DariuszDepta

Labels

None yet

Projects

None yet

Milestone

2.3.0

Development

Successfully merging this pull request may close these issues.

3 participants

@DariuszDepta @pinosu