Skip to content

Commit 61931fb

Browse files
authored
Update copilot-instructions.md
1 parent 8a47c17 commit 61931fb

File tree

1 file changed

+5
-7
lines changed

1 file changed

+5
-7
lines changed

.github/copilot-instructions.md

Lines changed: 5 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,13 @@
22

33
## Build and test steps (only on Linux)
44

5-
Always build and test the project before submitting your solution.
6-
7-
1. As an initial smoke test for a quick build, run `dotnet build ./FSharp.Compiler.Service.sln --verbosity quiet --no-restore` from the repository root.
8-
Only if this succeeds, move on.
9-
2. From the repository root, run `./build.sh -c Release --norestore`. This creates a prototype compiler, and then the proto compiler builds itself again.
10-
3. Only if two previous steps suceed, run automated tests with `./build.sh -c Release --testcoreclr --norestore`.
5+
Always build and test the project before submitting your final solution.
116

7+
In order to build and test, run `./build.sh -c Release --testcoreclr` .
128

139
If the build fails with errors or non-zero exit code, fix it based on the error messages given and repeat the build step.
1410

15-
If either of the steps 1/2/3 fails, fix the errors and repeat from step 1 - up to 3 times.
11+
If either of the steps 3 fails, fix the errors and repeat - up to 3 times.
1612
After that, report all relevant build errors, error messages and specific details about failing tests and their test test failure details.
1713

1814
### Fixing tests
@@ -27,10 +23,12 @@ After that, report all relevant build errors, error messages and specific detail
2723
- Code is formatted using `dotnet fantomas .` executed at the repo root.
2824
- Builds without errors.
2925
- Runs tests without errors. If some tests needed adjustments, those test expectations/baseline adjustments were done.
26+
- Follow the docs/release-notes folder by adding release notes. The guidelines are in docs/release-notes/About.md.
3027
- If the acceptance criteria was not met, collect the error messages (build failures or failing tests) and report them.
3128

3229
## Release notes
3330
- Each PR must have release notes attached. Those are saved in the `docs` folder, split by version and product aspect. Follow the existing notes to figure out the right format.
31+
- Follow the docs/release-notes structure and writing style. The guidelines are in docs/release-notes/About.md.
3432

3533
## Coding standards
3634

0 commit comments

Comments
 (0)