Distinguish NoLibrary/NoDatabase from EmptyLibrary/EmptyDatabase #97

Merged
wojtek merged 3 commits from 95---distinguish-nolibrary/nodatabase-from-emptylibrary/emptydatabase into main 2024-01-12 20:42:37 +01:00
Owner

Closes #95

Closes #95
wojtek added 2 commits 2024-01-12 20:38:51 +01:00
Fix code coverage
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m2s
Cargo CI / Lint (pull_request) Successful in 43s
9c126461fc
wojtek added 1 commit 2024-01-12 20:40:04 +01:00
Prefer default over new
All checks were successful
Cargo CI / Build and Test (pull_request) Successful in 1m3s
Cargo CI / Lint (pull_request) Successful in 43s
4a7fafc6bd
wojtek changed title from WIP: Distinguish NoLibrary/NoDatabase from EmptyLibrary/EmptyDatabase to Distinguish NoLibrary/NoDatabase from EmptyLibrary/EmptyDatabase 2024-01-12 20:42:29 +01:00
wojtek merged commit 845e9b09f4 into main 2024-01-12 20:42:37 +01:00
wojtek deleted branch 95---distinguish-nolibrary/nodatabase-from-emptylibrary/emptydatabase 2024-01-12 20:42:37 +01:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
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: wojtek/musichoard#97
No description provided.