mflatt
2021-1-4 13:15:51
It looks like “drracket/private/tools.rkt” gets stuck expanding. Still trying to figure out why…
mflatt
2021-1-4 13:33:59
I’ve pushed a repair
samth
2021-1-4 13:38:42
I will try to fix drdr soon
mflatt
2021-1-4 13:43:22
I tried kick-drdr. Didn’t work?
samth
2021-1-4 13:51:24
We will see, but potentially everything it subsequently tries will hang too
shu--hung
2021-1-4 14:58:26
yay, the snapshot generation build succeeded (it’s uploading now)