I was surprised that the announcement at GitHub Universe wasn't louder, but it appears that verified students have access to GitHub Codespaces for 90 hours each month. In addition, Alfredo does an excellent job of providing codespaces learning templates for teachers and students to test the functionality.