I have a client with dual status in 2020. He was a resident until June 2020 and non resident for remainig part of the year. How to efile a dual status 1040NR and 1040 return in Proseries.

The other part is if the client does not have any US sourced income during the time he was non resident. Is he still required to file the 1040NR or just a regular 1040 would suffice for the part of the year he was resident?