A faucet is plumbed to at most a 1/2” supply line. Most coffee makers that plumb to water lines use a very tiny flexible copper tubing. 10,000 gallons is a huge amount of water for someone not to notice. Something more here than a small supply line bursting.
A completely open 1/2” line can put out 10 gallons a minute or more. At a conservative 10 gal/min, that’s 1,000 minutes, which is 17 hours. Assuming this was a lower flow pipe, it would take longer. Over a weekend or during a longer time when classes were not scheduled it could escape notice, especially if maintenance and/or security are not doing their job.
You should always turn off the water on any washer when not using it. An internal hose can break. Some makes only have press fit hoses inside and have a tendency to come apart. They offer retro fit kits that include clamps. I wouldn’t leave dishwasher running when not at home either.