Check for too-big Lean imports · Workflow runs · leanprover/reference-manual · GitHub

Actions

All workflows
Workflows
- Deploy the 'deploy' branch Deploy the 'deploy' branch
- Merge main to nightly Merge main to nightly
- Update nightly-testing Update nightly-testing
- .github/workflows/vale.yml .github/workflows/vale.yml
- Build and check HTML Build and check HTML
- Check for copyright headers Check for copyright headers
- Check for too-big Lean imports Check for too-big Lean imports
- Check PR title for commit convention Check PR title for commit convention
- Deploy PR for review Deploy PR for review
- Deploy Tagged Version Deploy Tagged Version
Management
- Caches
- Deployments

Check for too-big Lean imports

Actions

Loading...
Loading

too-big-imports.yml

947 workflow runs

947 workflow runs

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #963: Pull request #617 synchronize by jcreedcmu

11s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

11s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #962: Pull request #617 synchronize by jcreedcmu

12s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

12s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #961: Pull request #617 synchronize by jcreedcmu

8s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

8s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #960: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #959: Pull request #617 synchronize by jcreedcmu

8s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

8s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #958: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #957: Pull request #617 synchronize by jcreedcmu

11s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

11s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #956: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #955: Pull request #617 opened by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: make the lake cache more suspicious Check for too-big Lean imports #954: Pull request #616 opened by robsimmons

10s more-paranoid-cache

more-paranoid-cache

10s

chore: correct title of v4.24.0 release notes Check for too-big Lean imports #953: Pull request #615 opened by kim-em

11s correct_v4.24.0

correct_v4.24.0

11s

fix: make NatTree.beq recursive in InstanceDecls.lean Check for too-big Lean imports #952: Pull request #614 opened by robsimmons

10s robsimmons-patch-1

robsimmons-patch-1

10s

chore: bump to nightly-2025-10-15 Check for too-big Lean imports #951: Pull request #612 opened by david-christiansen

9s bump-2025-10-15

bump-2025-10-15

9s

feat: Supported platforms list Check for too-big Lean imports #950: Pull request #611 opened by david-christiansen

8s support-table

support-table

8s

feat: live links for uses of example directive Check for too-big Lean imports #949: Pull request #609 synchronize by jcreedcmu

11s jcreedcmu:jcreed-live-link-example

jcreedcmu:jcreed-live-link-example

11s

feat: live links for uses of example directive Check for too-big Lean imports #948: Pull request #609 synchronize by jcreedcmu

11s jcreedcmu:jcreed-live-link-example

jcreedcmu:jcreed-live-link-example

11s

feat: live links for uses of example directive Check for too-big Lean imports #947: Pull request #609 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-example

jcreedcmu:jcreed-live-link-example

10s

feat: live links for uses of example directive Check for too-big Lean imports #946: Pull request #609 synchronize by jcreedcmu

11s jcreedcmu:jcreed-live-link-example

jcreedcmu:jcreed-live-link-example

11s

feat: live links for uses of example directive Check for too-big Lean imports #945: Pull request #609 opened by jcreedcmu

11s jcreedcmu:jcreed-live-link-example

jcreedcmu:jcreed-live-link-example

11s

chore: bump toolchain to v4.24.0 Check for too-big Lean imports #944: Pull request #608 synchronize by david-christiansen

11s bump_to_v4.24.0

bump_to_v4.24.0

11s

chore: bump toolchain to v4.24.0 Check for too-big Lean imports #943: Pull request #608 opened by kim-em

9s bump_to_v4.24.0

bump_to_v4.24.0

9s

chore: add highlights for v4.24 release notes Check for too-big Lean imports #942: Pull request #606 synchronize by viol37

8s viol37:v4.24-highlights

viol37:v4.24-highlights

8s

chore: add highlights for v4.24 release notes Check for too-big Lean imports #941: Pull request #606 synchronize by viol37

10s viol37:v4.24-highlights

viol37:v4.24-highlights

10s

chore: add highlights for v4.24 release notes Check for too-big Lean imports #940: Pull request #606 opened by viol37

9s viol37:v4.24-highlights

viol37:v4.24-highlights

9s

feat: make release notes insert parts from markdown Check for too-big Lean imports #939: Pull request #599 synchronize by jcreedcmu

25s jcreedcmu:release-notes

jcreedcmu:release-notes

25s