Why go to the portal now? Why not?
You've already made up your mind and you aren't playing much. The cats out of the bag that you're done here, why drag it out?
Some companies I've worked for, they want two weeks or whatever you'll give them to find or train your replacement. Some companies, you give them notice they'll walk you out the door that day, you've already checked out.
I don't know how it played out. If I was the coach, I'd dismiss them from the team, not their studies or the school. They've checked out. In some rare cases you do keep someone around because they bust their *** and aren't a distraction.
Every case is different, but when you're done your done.