Skip to content

Lean NHFLO Copilot instructions for GPT-5.5#65

Merged
bdestombe merged 1 commit into
mainfrom
lean-gpt55-copilot-instructions-20260707-144341
Jul 7, 2026
Merged

Lean NHFLO Copilot instructions for GPT-5.5#65
bdestombe merged 1 commit into
mainfrom
lean-gpt55-copilot-instructions-20260707-144341

Lean NHFLO Copilot instructions for GPT-5.5

0de92cb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lint python files, repository.yaml, and mockup folder structure
succeeded Jul 7, 2026 in 33s