Skip to content

chore: setup steps for copilot #4908

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

Merged

Conversation

evan-forbes
Copy link
Member

@evan-forbes evan-forbes commented Jun 2, 2025

Overview

so far github copilot agents are decently capable of handling chores and even attempting to fix small bugs. I thinks its worth adding this as we can save some gpu credits

@evan-forbes evan-forbes self-assigned this Jun 2, 2025
@evan-forbes evan-forbes marked this pull request as ready for review June 2, 2025 15:51
@evan-forbes evan-forbes requested a review from a team as a code owner June 2, 2025 15:51
@evan-forbes evan-forbes requested review from Manav-Aggarwal and cmwaters and removed request for a team June 2, 2025 15:51
@github-project-automation github-project-automation bot moved this to Needs Triage in core/app Jun 2, 2025
@evan-forbes evan-forbes enabled auto-merge (squash) June 2, 2025 18:34
@rootulp rootulp self-requested a review June 3, 2025 13:51
Comment on lines +28 to +41
- name: Cache Go modules
uses: actions/cache@v3
with:
path: ~/go/pkg/mod
key: ${{ runner.os }}-go-${{ hashFiles('**/go.sum') }}
restore-keys: |
${{ runner.os }}-go-
- name: Cache Go binaries
uses: actions/cache@v3
with:
path: ~/go/bin
key: ${{ runner.os }}-go-binary-${{ hashFiles('**/go.sum') }}
restore-keys: |
${{ runner.os }}-go-binary-
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wonder how much time this saves 🤔

I'll follow up and look at the actions tab after this merges b/c I don't see any invocations of this workflow yet.

@@ -0,0 +1,47 @@
name: "Copilot Setup Steps"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[uber nit] so that the name in the actions tab matches the file name so it's slightly easier to find

Suggested change
name: "Copilot Setup Steps"
name: "copilot-setup-steps"

# 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.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[optional]

Suggested change
# 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.

Comment on lines +17 to +18
# 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.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[optional]

Suggested change
# 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.

Copy link
Member

@ninabarbakadze ninabarbakadze left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

utAck

@evan-forbes evan-forbes merged commit 9026d24 into celestiaorg:main Jun 4, 2025
45 of 46 checks passed
@github-project-automation github-project-automation bot moved this from Needs Triage to Done in core/app Jun 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants