jskeet opened this issue 2 years ago · 1 comments
The GitHub actions are currently failing because they expect the latest SDK. This may happen automatically by the time I'm back in January...
Everything is passing now, so I assume it's all okay.