Update nightly-testing · leanprover/reference-manual@a2fd71c

Triggered via schedule August 6, 2026 16:34

main

Status Failure

Total duration 13m 10s

Artifacts –

update-nightly.yml

on: schedule

2 errors

The job was not acquired by Runner of type self-hosted even after multiple attempts

Internal server error. Correlation ID: 0f7e8c48-d413-49f7-a57a-f5946a9359a0