Skip to content

Improved development scripts #2581

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 3 commits into from
Dec 17, 2025
Merged

Improved development scripts #2581

DariuszDepta merged 3 commits into from
Dec 17, 2025
+81 −68

Conversation

@DariuszDepta
Copy link
Member

@DariuszDepta DariuszDepta commented Dec 17, 2025 •
edited
Loading

  • Improved printing messages during check execution.
  • Unified Rust versions between scripts and GitHub actions.

Also:

@DariuszDepta DariuszDepta added this to the 3.0.3 milestone Dec 17, 2025
@DariuszDepta DariuszDepta requested a review from pinosu December 17, 2025 10:19
@DariuszDepta DariuszDepta self-assigned this Dec 17, 2025
pinosu
pinosu approved these changes Dec 17, 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 c573583 into main Dec 17, 2025
@DariuszDepta DariuszDepta deleted the improved-development-scripts branch December 17, 2025 14:10
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

3.0.3

Development

Successfully merging this pull request may close these issues.

Update GitHub actions to the newest versions

3 participants

@DariuszDepta @pinosu