v2025.5.1

This contains a fix for issue #93. There should be fewer "deadline exceeded" errors when fetching build logs in the background -- and if there are, we show a nicer error message instead.

Thanks @acirep for your contribution!