Skip to content

Add Copilot instructions and setup workflow#339

Closed
Copilot wants to merge 2 commits into
mainfrom
copilot/setup-copilot-workflows
Closed

Add Copilot instructions and setup workflow#339
Copilot wants to merge 2 commits into
mainfrom
copilot/setup-copilot-workflows

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 5, 2026

Extracts Copilot setup files from PR #326 into a standalone PR with fixes.

Changes

.github/copilot-instructions.md

  • Repository structure, coding conventions, control patterns
  • Build instructions for multi-platform MAUI development
  • Common issues and troubleshooting

.github/workflows/copilot-setup.yml

  • Triggers: push (main branch) + workflow_dispatch
  • Path filters: only runs on changes to source/tests/copilot files
  • Multi-platform matrix: Ubuntu (Android), Windows, macOS
  • Verifies build and runs tests

Fixes from original PR #326

  • Added missing push trigger
  • Normalized dotnet-version format across jobs
  • Removed --no-restore from test step (restore runs in prior step)
Original prompt

Can you extract th. Copilot instructions and setup workflows in #326 and make a standalone PR. Identiftly issues with thos files and fix. We need to have a workflow that sets things up for Copilot and allows copilot to just start working. Make sure the workflow is also dispatch able. Also, make it run on push.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: mattleibow <1096616+mattleibow@users.noreply.github.com>
Copilot AI changed the title [WIP] Add workflows for Copilot setup and dispatch Add Copilot instructions and setup workflow Feb 5, 2026
Copilot AI requested a review from mattleibow February 5, 2026 03:28
@mattleibow mattleibow closed this Feb 5, 2026
@mattleibow mattleibow deleted the copilot/setup-copilot-workflows branch February 5, 2026 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants