From da912db3b8030dee759e6ad16eb184d2107e9467 Mon Sep 17 00:00:00 2001 From: Tomas Grosup Date: Thu, 29 May 2025 12:28:34 +0200 Subject: [PATCH] Update copilot-instructions.md - include norestore --- .github/copilot-instructions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 80e2c97c4eb..5fd82f89590 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -4,7 +4,7 @@ Always build and test the project before submitting your solution. -1. As an initial smoke test for a quick build, run `dotnet build ./FSharp.Compiler.Service.sln --verbosity quiet` from the repository root. +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. Only if this succeeds, move on. 2. From the repository root, run `./build.sh -c Release --norestore`. This creates a prototype compiler, and then the proto compiler builds itself again. 3. Only if two previous steps suceed, run automated tests with `./build.sh -c Release --testcoreclr --norestore`.