Re: Next steps to turn on https://coretoolchain.dev?

On 2/29/24 21:01, Carlos O'Donell wrote:
> On 2/29/24 19:25, Konstantin Ryabitsev wrote:
>> It's not auto-building yet, but it's a small thing to enable tomorrow. There
>> are a few small tweaks to be done, too, like redirecting 80 to 443, but I ran
>> out of daylight today.
 
I can confirm that the updates do go live almost immediately as the remote side reubilds the
HTML. Thank you for that! It means the edits I'm making should be visible to readers.

-- 
Cheers,
Carlos.