Stream: Mirror: Isabelle Development Mailing List

Topic: »invalid request« for isabelle build_task

view this post on Zulip Email Gateway (Sep 09 2025 at 19:47):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
See
https://build.proof.cit.tum.de/build?id=6104a7e0-a258-4b8b-ab6d-a1fd484328c4

AFAIR somebody has to manually reset something?

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

view this post on Zulip Email Gateway (Sep 10 2025 at 07:25):

From: Fabian Huch <huch@in.tum.de>
We had a database hiccup that is resolved again.

Fabian

On 9/9/25 21:47, Florian Haftmann wrote:

See
https://build.proof.cit.tum.de/build?id=6104a7e0-a258-4b8b-ab6d-a1fd484328c4

AFAIR somebody has to manually reset something?

Florian

view this post on Zulip Email Gateway (Sep 11 2025 at 13:15):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
Thnx.

Am 10.09.25 um 09:24 schrieb Fabian Huch:

We had a database hiccup that is resolved again.

Fabian

On 9/9/25 21:47, Florian Haftmann wrote:

See https://build.proof.cit.tum.de/build?id=6104a7e0-a258-4b8b-ab6d-
a1fd484328c4

AFAIR somebody has to manually reset something?

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: Sep 15 2025 at 08:27 UTC