You don't need to do anything. It may be indicated on your W-2 by Code DD in Box 12. You are no longer required to be covered for Federal income tax purposes.
