fixing jeeves dns #10

Merged
Richie merged 3 commits from bugfix/fixing-jeeves-dns into main 2026-06-04 19:27:32 -04:00
Owner
No description provided.
Richie added 3 commits 2026-06-04 18:10:44 -04:00
updated Primary nic
pytest / pytest (pull_request) Successful in 26s
build_systems / build-bob (pull_request) Successful in 49s
build_systems / build-rhapsody-in-green (pull_request) Successful in 1m1s
treefmt / nix fmt (pull_request) Successful in 6s
build_systems / build-brain (pull_request) Successful in 48s
build_systems / build-leviathan (pull_request) Successful in 55s
build_systems / build-jeeves (pull_request) Successful in 2m39s
treefmt / nix fmt (push) Successful in 6s
build_systems / build-rhapsody-in-green (push) Successful in 14s
pytest / pytest (push) Successful in 25s
build_systems / build-brain (push) Successful in 29s
build_systems / build-bob (push) Successful in 33s
build_systems / build-leviathan (push) Successful in 41s
build_systems / build-jeeves (push) Successful in 2m19s
c6c98b3e26
Richie force-pushed bugfix/fixing-jeeves-dns from c0d5e848b8 to c6c98b3e26 2026-06-04 18:10:44 -04:00 Compare
Richie merged commit c6c98b3e26 into main 2026-06-04 19:27:32 -04:00
Richie deleted branch bugfix/fixing-jeeves-dns 2026-06-04 19:27:32 -04:00
Sign in to join this conversation.