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

3 Commits

Author SHA1 Message Date
4a7fafc6bd 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
2024-01-12 20:39:48 +01:00
9c126461fc 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
2024-01-12 20:38:42 +01:00
6a6d9f33ad Tidier implementation of Null/Empty 2024-01-12 20:33:34 +01:00