Skip to content

Unpin log Version#320

Merged
wucke13 merged 1 commit intomainfrom
dev/unpin-log-version
Feb 12, 2026
Merged

Unpin log Version#320
wucke13 merged 1 commit intomainfrom
dev/unpin-log-version

Conversation

@florianhartung
Copy link
Copy Markdown
Collaborator

Checks

  • Using Nix
    • Ran nix fmt
    • Ran nix flake check '.?submodules=1'
  • Using Rust tooling
    • Ran cargo fmt
    • Ran cargo test
    • Ran cargo check
    • Ran cargo build
    • Ran cargo doc

@codecov
Copy link
Copy Markdown

codecov bot commented Feb 12, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@florianhartung
Copy link
Copy Markdown
Collaborator Author

waiting on #319 to fix requirements CI

A pinned version forces downstream users to use the same version,
potentially causing versioning conflicts.

Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
@wucke13 wucke13 force-pushed the dev/unpin-log-version branch from 7610c03 to fa86729 Compare February 12, 2026 14:08
@wucke13 wucke13 added this pull request to the merge queue Feb 12, 2026
Merged via the queue into main with commit be316ad Feb 12, 2026
12 checks passed
@wucke13 wucke13 deleted the dev/unpin-log-version branch February 12, 2026 14:08
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Feb 12, 2026

PR Preview Action v1.4.7
Preview removed because the pull request was closed.
2026-02-12 14:09 UTC

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