Giannis traded during NBA Draft?

This is a market on whether Giannis Antetokounmpo will be traded during the 2025 NBA Draft. If Giannis Antetokounmpo is traded by the Milwaukee Bucks to any other NBA team between June 25 at 8:00 PM ET and June 26 at 11:59 PM ET, this market will resolve to "Yes." Otherwise, it will resolve to "No." The resolution source for this market will be official announcements from the NBA or Milwaukee Bucks, however a consensus of credible reporting may also be used.