remove dov #74

Merged

Richie merged 1 commits from feature/remove-dov into main

2026-09-09 16:06:30 -04:00

Author	SHA1	Message	Date
Richie	7c7740fe90	remove dov treefmt / nix fmt (pull_request) Successful in 6s Details pytest / pytest (pull_request) Successful in 57s Details test ebook search / test-ebook-search (pull_request) Successful in 1m1s Details build_systems / build-portal-1 (pull_request) Successful in 1m7s Details build_systems / build-brain (pull_request) Successful in 1m25s Details build_systems / build-bob (pull_request) Successful in 1m26s Details build_systems / build-rhapsody-in-green (pull_request) Successful in 1m33s Details build_systems / build-jeeves (pull_request) Successful in 1m45s Details treefmt / nix fmt (push) Successful in 4s Details build_systems / build-jeeves (push) Successful in 7s Details build_systems / build-portal-1 (push) Successful in 24s Details test ebook search / test-ebook-search (push) Successful in 31s Details pytest / pytest (push) Successful in 32s Details build_systems / build-brain (push) Successful in 35s Details build_systems / build-bob (push) Successful in 38s Details build_systems / build-rhapsody-in-green (push) Successful in 50s Details	2026-09-09 11:06:44 -04:00