Build Documentation and Test Coverage

Lean 4.30.0 update #69

Sign in to view logs

Triggered via push June 8, 2026 18:35

NicolasRouquette

main

Status Cancelled

Total duration 1d 0h 0m 2s

Artifacts –

test-coverage.yml

on: push

Annotations

1 error

docs-and-tests

The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s