Skip to content
Build and check HTML

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

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 #1223

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

ci.yml

on: push
Build site and generate HTML
2s
Build site and generate HTML
Deploy release
0s
Deploy release
Deploy preview
0s
Deploy preview
Check prose
0s
Check prose
Check links
0s
Check links
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' (0400:34EE33:7BCC1E:F88879:6864599D)