Skip to content
Build and check HTML

Update lean-toolchain for https://github.com/leanprover/lean4/pull/14583 #3481

Sign in to view logs

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

Update lean-toolchain for https://github.com/leanprover/lean4/pull/14583 #3481

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build site and generate HTML
6m 39s
Deploy preview
0s
Check search JS code with TypeScript
0s
Check prose
0s
Deploy release
0s
Check links
0s
6m 39s