Add comprehensive GitHub Copilot instructions including examples workflow and Literate.jl warnings#437
Draft
Copilot wants to merge 6 commits into
Draft
Add comprehensive GitHub Copilot instructions including examples workflow and Literate.jl warnings#437Copilot wants to merge 6 commits into
Copilot wants to merge 6 commits into