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
Commits
Commits on Aug 28, 2025
- committed
- andcommitted
- andcommitted
- andcommitted
- authored
- andcommitted