-
Notifications
You must be signed in to change notification settings - Fork 143
Add GitHub Copilot setup configuration file #1635
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add GitHub Copilot setup configuration file #1635
Conversation
… setup Co-authored-by: ricardoV94 <28983449+ricardoV94@users.noreply.github.com>
@copilot copilot According to the docs: https://docs.github.com/en/enterprise-cloud@latest/copilot/how-tos/use-copilot-agents/coding-agent/customize-the-agent-environment#preinstalling-tools-or-dependencies-in-copilots-environment
Example: name: "Copilot Setup Steps"
# Automatically run the setup steps when they are changed to allow for easy validation, and
# allow manual testing through the repository's "Actions" tab
on:
workflow_dispatch:
push:
paths:
- .github/workflows/copilot-setup-steps.yml
pull_request:
paths:
- .github/workflows/copilot-setup-steps.yml
jobs:
# The job MUST be called `copilot-setup-steps` or it will not be picked up by Copilot.
copilot-setup-steps:
runs-on: ubuntu-latest
# Set the permissions to the lowest permissions possible needed for your steps.
# Copilot will be given its own token for its operations.
permissions:
# If you want to clone the repository as part of your setup steps, for example to install dependencies, you'll need the `contents: read` permission. If you don't clone the repository in your setup steps, Copilot will do this for you automatically after the steps complete.
contents: read
# You can define any steps you want, and they will run before the agent starts.
# If you do not check out your code, Copilot will do this for you.
steps:
- name: Checkout code
uses: actions/checkout@v5
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: "20"
cache: "npm"
- name: Install JavaScript dependencies
run: npm ci Please update the file to follow the requirements as mentioned in the docs |
Co-authored-by: ricardoV94 <28983449+ricardoV94@users.noreply.github.com>
Updated the file to follow the proper GitHub Actions workflow format as specified in the documentation. The file now includes:
Changes committed in 6a6e2a4. |
should this be inside the workflows directory? The docs above state it should go directly in |
Talked with @maresb, he agreed to just merge and see |
This PR adds a
.github/copilot-setup-steps.yml
file to configure the development environment when GitHub Copilot is launched in the repository.Configuration Details
The setup file is structured as a proper GitHub Actions workflow that configures a Python 3.13 environment using Micromamba with the following components:
Workflow Structure
workflow_dispatch
,push
, andpull_request
for the copilot-setup-steps.yml filecopilot-setup-steps
running onubuntu-latest
contents: read
for repository checkoutCore Dependencies
Optional Backend Support
Excluded Dependencies
The configuration follows the GitHub Copilot documentation format for customizing the agent environment and is based on the existing
.github/workflows/test.yml
CI workflow, using the same Micromamba setup pattern (version 1.5.10-0) to ensure consistency between local development and CI environments.This file will help contributors quickly set up a working development environment with the necessary dependencies for working on PyTensor and allows for easy validation through GitHub Actions.
Original prompt
💡 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.