Skip to content

Bump to rust 1.88 - #1907

Merged
oleflb merged 1 commit into
HULKs:mainfrom
oleflb:ci-rust-1.88
Jul 6, 2025
Merged

Bump to rust 1.88#1907
oleflb merged 1 commit into
HULKs:mainfrom
oleflb:ci-rust-1.88

Conversation

@oleflb

@oleflb oleflb commented Jul 6, 2025

Copy link
Copy Markdown
Contributor

Why? What?

Increase the rust version in the CI because @schluis wants to do modern stuff.

Fixes #

ToDo / Known Issues

If this is a WIP describe which problems are to be fixed.

Ideas for Next Iterations (Not This PR)

If there are some improvements that could be done in a next iteration, describe them here.

How to Test

Describe how to test your changes. (For the reviewer)

@oleflb oleflb added the tools:CI label Jul 6, 2025
@github-project-automation github-project-automation Bot moved this to Request for Review in Development Jul 6, 2025
@oleflb
oleflb enabled auto-merge July 6, 2025 15:27
@schluis schluis self-assigned this Jul 6, 2025

@schluis schluis left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Hammer

@oleflb
oleflb added this pull request to the merge queue Jul 6, 2025
Merged via the queue into HULKs:main with commit e8219d9 Jul 6, 2025
27 checks passed
@oleflb
oleflb deleted the ci-rust-1.88 branch July 6, 2025 15:52
@github-project-automation github-project-automation Bot moved this from Request for Review to Done in Development Jul 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants