Skip to content

Conversation

Floppy
Copy link
Collaborator

@Floppy Floppy commented Sep 12, 2025

No description provided.

@Floppy Floppy added improvement Refactors and behind-the-scenes improvements UX User experience & workflow labels Sep 12, 2025
@Floppy Floppy enabled auto-merge September 12, 2025 10:37
Copy link

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
+0.00% (target: -1.00%)
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (808ab36) 5185 4398 84.82%
Head commit (ab06d86) 5185 (+0) 4398 (+0) 84.82% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#4705) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

@Floppy Floppy merged commit a7deb8b into main Sep 12, 2025
14 checks passed
@Floppy Floppy deleted the hide-navbar-search-on-root branch September 12, 2025 10:45
@github-project-automation github-project-automation bot moved this from Maybe to Done in Manyfold Roadmap Sep 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Refactors and behind-the-scenes improvements UX User experience & workflow
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant