Skip to content

Conversation

minestarks
Copy link
Member

This sets up the environment for Copilot Coding Agent to work in.

@swernli
Copy link
Collaborator

swernli commented May 21, 2025

I wonder if there is a way to have this build off of the devcontainer definition we already have in the repo (https://github.com/microsoft/qsharp/blob/main/.devcontainer/devcontainer.json). I try to keep that up to date for internal or external contributors, and it seems like it could be opportunity to take advantage of existing setup.

@minestarks
Copy link
Member Author

@swernli I like the idea, but I'll throw the question back at you - can we use that devcontainer for ci.yml too? I tried to align this workflow with ci.yml since I consider that the source of truth but maybe there's an opportunity for all of it to be aligned?

@minestarks
Copy link
Member Author

@swernli browsed our devcontainer definition, and options to bring it into CI, like https://github.com/devcontainers/ci, and I think what I have is the better fit. Even if we could run the devcontainer in this workflow, I don't really see a way to get Copilot to run in the devcontainer.

We want to make sure Copilot is working within the exact "official" environment to maximize the chances of getting a clean build before publishing PRs.

It's also useful to run ./build.py once before Copilot gets going so that things like TypeScript header files get generated, and Copilot can proceed to work on smaller subcomponents and get reliable feedback from build commands. In my experiments, this setup just seemed to reduce confusion for Copilot.

@minestarks minestarks enabled auto-merge May 23, 2025 22:29
@minestarks minestarks added this pull request to the merge queue May 23, 2025
Merged via the queue into main with commit a883e08 May 23, 2025
18 checks passed
@minestarks minestarks deleted the copilot-setup-steps branch May 23, 2025 22:56
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.

3 participants