-
Notifications
You must be signed in to change notification settings - Fork 26
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#49 In facebookresearch/autoform-bot;
- Status: Open.#47 In facebookresearch/autoform-bot;
Migrate the Lean LSP backend to Lean Beam
upstream-blockedWaiting on a change or release in an upstream projectWaiting on a change or release in an upstream projectStatus: Open.#41 In facebookresearch/autoform-bot;Make homepage “Formalized” progress explicit about scope and proof completion
bugSomething isn't workingSomething isn't workingStatus: Open.#27 In facebookresearch/autoform-bot;Post-#8 workspace sustainability and asynchronous collaboration
trackingTracks related issues and is not a standalone implementation taskTracks related issues and is not a standalone implementation taskStatus: Open.#25 In facebookresearch/autoform-bot;Render and preview one aggregate workspace wiki
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#24 In facebookresearch/autoform-bot;Report semantic PR conflicts and bind reviews to exact candidates
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#23 In facebookresearch/autoform-bot;Make Autoform work sessions snapshot-bound, fork-safe, and PR-durable
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#22 In facebookresearch/autoform-bot;Add exact-tree workspace verification and affected-project CI
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#21 In facebookresearch/autoform-bot;Support workspace-global article identity and cross-project dependencies
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#20 In facebookresearch/autoform-bot;Support sharded, multi-source coverage contracts
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#19 In facebookresearch/autoform-bot;Add workspace project lifecycle and repository reconciliation
blockedWaiting for prerequisite work before implementation can proceedWaiting for prerequisite work before implementation can proceedroadmapPlanned work organized around product or architecture prerequisitesPlanned work organized around product or architecture prerequisitesStatus: Open.#18 In facebookresearch/autoform-bot;