Skip to content

Create copilot-setup-steps.yml#2445

Merged
minestarks merged 4 commits into
mainfrom
copilot-setup-steps
May 23, 2025
Merged

Create copilot-setup-steps.yml#2445
minestarks merged 4 commits into
mainfrom
copilot-setup-steps

Conversation

@minestarks
Copy link
Copy Markdown
Member

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

Comment thread .github/workflows/copilot-setup-steps.yml Outdated
@swernli
Copy link
Copy Markdown
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.

Comment thread .github/workflows/copilot-setup-steps.yml
Comment thread .github/workflows/copilot-setup-steps.yml Outdated
@minestarks
Copy link
Copy Markdown
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
Copy Markdown
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.

Comment thread .github/workflows/copilot-setup-steps.yml Outdated
@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