Search results

mathlib docs cache fails after upgrade to Lean v4.29.0

Status: Open.

#28 In leanprover-community/docgen-action;

· dwrensha opened on Apr 4, 2026

how does Gemfile/.bundle/ work?

Status: Open.

#20 In leanprover-community/docgen-action;

· quinn-dougherty opened on Jan 18, 2026

Error: docker: failed to register layer: write [...] no space left on device

Status: Open.

#16 In leanprover-community/docgen-action;

· mo271 opened on Dec 29, 2025

action does not respect lake-package-directory

Status: Open.

#13 In leanprover-community/docgen-action;

· b-mehta opened on Nov 6, 2025

CI + tests

Status: Open.

#12 In leanprover-community/docgen-action;

· bryangingechen opened on Oct 25, 2025

Deploy docs as the main page

Status: Open.

#10 In leanprover-community/docgen-action;

· mdbrnowski opened on Sep 16, 2025

Make the webpage publication optional

Status: Open.

#9 In leanprover-community/docgen-action;

· YaelDillies opened on Sep 3, 2025

docgen-action should check that the docs are being published via Github pages, and explain how to set this up

Status: Open.

#4 In leanprover-community/docgen-action;

· kim-em opened on Aug 25, 2025

Improve running time

Status: Open.

#3 In leanprover-community/docgen-action;

· fpvandoorn opened on Jul 29, 2025