Please contact the coordinators using the private email address outreach@debian.org before you think about dropping or failing any student.
Regards, Daniel