Skip to content

Feature/0.10.0/log4rs 1 #248

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
aschaeffer merged 4 commits into from
Aug 7, 2025
Merged

Feature/0.10.0/log4rs 1 #248

aschaeffer merged 4 commits into from
Aug 7, 2025

Conversation

@aschaeffer
Copy link
Collaborator

@aschaeffer aschaeffer commented Aug 7, 2025

No description provided.

@aschaeffer aschaeffer added this to the 0.10.0 milestone Aug 7, 2025
@aschaeffer aschaeffer self-assigned this Aug 7, 2025
@aschaeffer aschaeffer enabled auto-merge (rebase) August 7, 2025 18:48
@github-actions github-actions bot added p:documentation Project Change: Improvements or additions to documentation p:dependencies Project Change: Pull requests that update a dependency file p:continuous-integration Project Change: Continuous Integration labels Aug 7, 2025
@aschaeffer aschaeffer merged commit 0ec80a7 into main Aug 7, 2025
31 of 35 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@aschaeffer aschaeffer

Labels

p:continuous-integration Project Change: Continuous Integration p:dependencies Project Change: Pull requests that update a dependency file p:documentation Project Change: Improvements or additions to documentation

Projects

None yet

Milestone

0.10.0

Development

Successfully merging this pull request may close these issues.

2 participants

@aschaeffer