fixing jeeves dns #10

Merged

Richie merged 3 commits from bugfix/fixing-jeeves-dns into main

2026-06-04 19:27:32 -04:00

Author	SHA1	Message	Date
Richie	c6c98b3e26	updated Primary nic pytest / pytest (pull_request) Successful in 26s Details build_systems / build-bob (pull_request) Successful in 49s Details build_systems / build-rhapsody-in-green (pull_request) Successful in 1m1s Details treefmt / nix fmt (pull_request) Successful in 6s Details build_systems / build-brain (pull_request) Successful in 48s Details build_systems / build-leviathan (pull_request) Successful in 55s Details build_systems / build-jeeves (pull_request) Successful in 2m39s Details treefmt / nix fmt (push) Successful in 6s Details build_systems / build-rhapsody-in-green (push) Successful in 14s Details pytest / pytest (push) Successful in 25s Details build_systems / build-brain (push) Successful in 29s Details build_systems / build-bob (push) Successful in 33s Details build_systems / build-leviathan (push) Successful in 41s Details build_systems / build-jeeves (push) Successful in 2m19s Details	2026-06-04 18:10:41 -04:00
Richie	d459f3d675	adding brave	2026-06-04 18:10:41 -04:00
Richie	33e4b37cce	fixing jeeves dns	2026-06-04 18:10:41 -04:00