Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-09-04

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
07:24 chuchuco1ny I accidentally the complete afp submission system :(
07:55 ammbauer chuchuco1ny: oh no, there goes our 99.9% uptime. ping larsrh
08:19 larsrh wait, what is happening
08:21 larsrh seems to be up from my end?
08:22 larsrh oh, so it is up, but the daemon crashed
08:23 larsrh and the reason for that was that it couldn't connect to the SMTP server
08:23 larsrh ammbauer, we need better error handling :-)
08:28 larsrh chuchuco1ny: your latest submission has been successfully built, it's just that it didn't send you a mail
09:09 silver joined #isabelle
09:33 chuchuco1ny "Isabelle not yet started. Please refresh page." since over 24 hours
09:40 larsrh I'm talking about https://ci.isabelle.systems/afp-submission/index?build=20160901-190205_9423
10:13 chuchuco1ny noone click submit plz -_-
10:13 chuchuco1ny i have two follow up submissions which haven't started yet
10:19 larsrh yeah, you might have to resubmit those
10:20 larsrh I can delete the one I linked here ...
10:24 chuchuco1ny k
13:17 ChanServ joined #isabelle
14:21 silver_ joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary