devops -> main #3

Merged
akinus merged 1 commit from devops into main 2026-07-02 05:15:31 +00:00

Automated PR from CI pipeline.

Automated PR from CI pipeline.
fix: eliminate compiler warnings (deprecated ratatui API, dead_code)
All checks were successful
Level 2 — Devops / build-iterate (push) Successful in 3m2s
Level 2 — Devops / create-pr (push) Successful in 5s
Level 2 — Devops / close-merged-issue (push) Successful in 4s
b7ac534e8e
akinus merged commit 5a3e82cc13 into main 2026-07-02 05:15:31 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
akinus/anvil!3
No description provided.