Skip to content
Report PR testing status to the lean4 repository

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 #15

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017

Update lean-toolchain for https://github.com/leanprover/lean4/pull/9017 #15

Triggered via push July 1, 2025 21:56
@leanprover-botleanprover-bot
pushed ed4d942
lean-pr-testing-9017
Status Failure
Total duration 4s
Artifacts –

pr-testing.yml

on: push
Build site and generate HTML
2s
Build site and generate HTML
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build site and generate HTML
An action could not be found at the URI 'https://api.github.com/repos/teatimeguest/setup-texlive-action/tarball/ff7075d18602f73f131689d381f345a8dc5a5000' (07C0:1AA214:691C6:D3A65:6864599D)