remove dov #74

Merged
Richie merged 1 commits from feature/remove-dov into main 2026-09-09 16:06:30 -04:00
Owner
No description provided.
Richie added 1 commit 2026-09-09 11:06:49 -04:00
remove dov
treefmt / nix fmt (pull_request) Successful in 6s
pytest / pytest (pull_request) Successful in 57s
test ebook search / test-ebook-search (pull_request) Successful in 1m1s
build_systems / build-portal-1 (pull_request) Successful in 1m7s
build_systems / build-brain (pull_request) Successful in 1m25s
build_systems / build-bob (pull_request) Successful in 1m26s
build_systems / build-rhapsody-in-green (pull_request) Successful in 1m33s
build_systems / build-jeeves (pull_request) Successful in 1m45s
treefmt / nix fmt (push) Successful in 4s
build_systems / build-jeeves (push) Successful in 7s
build_systems / build-portal-1 (push) Successful in 24s
test ebook search / test-ebook-search (push) Successful in 31s
pytest / pytest (push) Successful in 32s
build_systems / build-brain (push) Successful in 35s
build_systems / build-bob (push) Successful in 38s
build_systems / build-rhapsody-in-green (push) Successful in 50s
7c7740fe90
Richie force-pushed feature/remove-dov from 35998307d1 to 7c7740fe90 2026-09-09 11:06:49 -04:00 Compare
Richie merged commit 7c7740fe90 into main 2026-09-09 16:06:30 -04:00
Richie deleted branch feature/remove-dov 2026-09-09 16:06:30 -04:00
Sign in to join this conversation.