Skip to content

build: configure GitHub Copilot coding agent environment#742

Merged
lklimek merged 5 commits intov1.0-devfrom
copilot/configure-github-copilot-environment
Mar 12, 2026
Merged

build: configure GitHub Copilot coding agent environment#742
lklimek merged 5 commits intov1.0-devfrom
copilot/configure-github-copilot-environment

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 12, 2026

The GitHub Copilot coding agent needs a pre-configured environment to build this project: system libs, pinned Rust toolchain, protoc, and a pre-build pass to handle tenderdash-proto-compiler downloading Tenderdash sources (which requires internet access unavailable inside the agent's sandboxed session).

Changes

  • .github/workflows/copilot-setup-steps.yml — new workflow; job name copilot-setup-steps is required by Copilot:
    • Installs apt deps: build-essential, pkg-config, clang, cmake, libsqlite3-dev (matching other project workflows)
    • Installs Rust 1.92 via actions-rs/toolchain@v1 with rustfmt + clippy components (matching clippy.yml)
    • Caches Cargo registry via actions/cache@v4 with the same key/path as tests.yml/clippy.yml
    • Installs protoc v25.2 using the same script as tests.yml/clippy.yml
    • Runs cargo build -p tenderdash-proto --locked via actions-rs/cargo@v1 to trigger the tenderdash-proto build script, which downloads Tenderdash proto sources — targeted to just the package that needs internet, not the full workspace
    • pull_request trigger (path-filtered) enables testing the workflow via PRs
    • contents: read permission scope
Original prompt

This section details on the original issue you should resolve

<issue_title>build: configure GitHub copilot environment</issue_title>
<issue_description>We need to configure GitHub copilot environment so that it can build the project successfully.

We need to install protoc from GitHub project, install apt dependencies and rust.

Check GitHub workflows for details.

We also need to build rs-tenderdash-abci outside the sandbox, as it is downloading Tenderdash sources. Alternatively, we can download Tenderdash sources and put them to correct location - verify build.rs from dashpay/rs-tenderdash-abci project; in this case, we need to inspect rs-tenderdash-abci dependency at runtime to determine correct version of tenderdash to download.</issue_description>

Comments on the Issue (you are @copilot in this section)


📱 Kick off Copilot coding agent tasks wherever you are with GitHub Mobile, available on iOS and Android.

Co-authored-by: lklimek <842586+lklimek@users.noreply.github.com>
Copilot AI changed the title [WIP] Configure GitHub Copilot environment for project build build: configure GitHub Copilot coding agent environment Mar 12, 2026
Copilot AI requested a review from lklimek March 12, 2026 20:48
Co-authored-by: lklimek <842586+lklimek@users.noreply.github.com>
Comment thread .github/workflows/copilot-setup-steps.yml Outdated
Comment thread .github/workflows/copilot-setup-steps.yml Outdated
Co-authored-by: lklimek <842586+lklimek@users.noreply.github.com>
Copilot AI requested a review from lklimek March 12, 2026 21:06
@lklimek lklimek marked this pull request as ready for review March 12, 2026 21:19
@lklimek lklimek requested a review from Copilot March 12, 2026 21:19
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Adds a dedicated GitHub Actions workflow to provision the GitHub Copilot coding agent environment with required system dependencies, Rust toolchain, protoc, and a pre-build step intended to run the Tenderdash proto download outside the sandboxed agent session.

Changes:

  • Introduces .github/workflows/copilot-setup-steps.yml with the required copilot-setup-steps job.
  • Installs Linux build dependencies, Rust 1.92 (with clippy/rustfmt), and protoc v25.2.
  • Attempts to pre-build tenderdash-proto to trigger Tenderdash proto source download before the agent runs.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/copilot-setup-steps.yml
Comment thread .github/workflows/copilot-setup-steps.yml Outdated
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@lklimek lklimek enabled auto-merge (squash) March 12, 2026 21:34
@lklimek lklimek disabled auto-merge March 12, 2026 21:44
@lklimek lklimek merged commit d928288 into v1.0-dev Mar 12, 2026
3 checks passed
@lklimek lklimek deleted the copilot/configure-github-copilot-environment branch March 12, 2026 21:44
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.

build: configure GitHub copilot environment

3 participants