PR Builder

Handle DNS SERVFAIL differently than NXDOMAIN #3858

Sign in to view logs

GitHub Actions / Test Report JDK 17 ubuntu-latest succeeded Dec 12, 2023 in 0s

256 tests run, 1 skipped, 0 failed.

View more details on GitHub Actions