Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 7, 2025

Implements repository-specific instructions for GitHub Copilot coding agent as per best practices documentation.

Changes

  • Created .github/copilot-instructions.md (216 lines) covering:
    • Julia + C++ + Bazel tech stack conventions
    • Code style: Blue style for Julia, LLVM for C++
    • Project structure: src, ext, lib, deps, test directories
    • Testing strategy: SafeTestsets with 3 test groups (core, integration, neural_networks)
    • Core concepts: ConcreteRArray vs TracedRArray, compilation semantics, XLA backends
    • CI/CD: Multi-platform matrix testing with PJRT/IFRT runtimes
    • Development workflow: formatting, building, common tasks

Provides context for Copilot to understand the tracing-based compilation system, automatic differentiation integration, and multi-backend execution model specific to Reactant.jl.

Original prompt

This section details on the original issue you should resolve

<issue_title>✨ Set up Copilot instructions</issue_title>
<issue_description>Configure instructions for this repository as documented in Best practices for Copilot coding agent in your repository.

Additional Instructions

  • When ever any changes are made to the repo, make sure to format the files with JuliaFormatter v1 before opening the pull request
  • No change should ever be made to the mlir/Dialects directory</issue_description>

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


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI changed the title [WIP] Configure instructions for Copilot coding agent Add GitHub Copilot instructions Dec 7, 2025
Copilot AI requested a review from avik-pal December 7, 2025 16:46
@avik-pal avik-pal requested a review from wsmoses December 7, 2025 16:57
@avik-pal avik-pal marked this pull request as ready for review December 7, 2025 16:57
@avik-pal avik-pal merged commit d47e751 into main Dec 7, 2025
6 of 8 checks passed
@avik-pal avik-pal deleted the copilot/set-up-copilot-instructions branch December 7, 2025 21:14
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.

✨ Set up Copilot instructions

3 participants