Skip to content

ci(nightly-testing): link the failing commit in the failure message - #939

Merged
SamuelSchlesinger merged 1 commit into
leanprover:mainfrom
jessealama:ci/report-failures-head-sha
Sep 23, 2026
Merged

SamuelSchlesinger merged 1 commit into
leanprover:mainfrom
jessealama:ci/report-failures-head-sha

ci(nightly-testing): link the failing commit in the failure message

2f61c10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Sep 23, 2026 in 4m 26s