dkt-test has not made any annotations yet.