Add comprehensive GitHub Copilot instructions for Rodin finite element framework #108
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds comprehensive GitHub Copilot instructions to help any coding agent work effectively with the Rodin finite element framework codebase. The instructions are based on exhaustive testing and validation of the build process.
Key Features
Validated Build Process: Every command in the instructions has been tested and verified to work correctly, including:
Critical Workarounds Documented: The instructions include essential workarounds for known issues:
Precise Timing Expectations: All operations include measured timing data with appropriate timeout recommendations:
Working vs. Broken Functionality: Clear categorization of what currently works (core libraries, documentation) versus what has issues (unit tests, some examples), allowing developers to focus on functional areas.
Validation Approach
The instructions follow the requirement to be "EXHAUSTIVE in validation" - every command was run multiple times in a clean environment to ensure reliability. The approach prioritizes working, tested commands over attempting to fix currently broken functionality.
Structure
The instructions start with a firm directive to follow the documented steps first before falling back to additional search, and use imperative tone throughout ("Run [this command]", "Do not do [this]") as specified in the requirements.
Fixes #107.
Warning
Firewall rules blocked me from connecting to one or more addresses (expand for details)
I tried to connect to the following addresses, but was blocked by firewall rules:
esm.ubuntu.com/usr/lib/apt/methods/https(dns block)gitlab.com/usr/lib/git-core/git-remote-https origin REDACTED(dns block)If you need me to access, download, or install something from one of these locations, you can either:
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.