From 02ebab3a70064624915d3fc76edd71d82ad1c0d4 Mon Sep 17 00:00:00 2001 From: Ryan Cavanaugh Date: Thu, 9 Oct 2025 13:47:35 -0700 Subject: [PATCH] Add language to prod harder on running final tasks --- .github/copilot-instructions.md | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 0e084ab482..cc086c9bc3 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -22,8 +22,21 @@ go test -run='TestSubmodule/' ./internal/testrunner # For submodule go test -run='TestLocal/' ./internal/testrunner # For local tests in testdata/tests/cases ``` -Always make sure code is formatted, linted, and tested before sending a pull request. - +Always make sure code is formatted, linted, and tested before sending a pull request. + + +YOU MUST RUN THESE COMMANDS AT THE END OF YOUR SESSION! +IF THESE COMMANDS FAIL, CI WILL FAIL, AND YOUR PR WILL BE REJECTED OUT OF HAND. +FIXING ERRORS FROM THESE COMMANDS IS YOUR HIGHEST PRIORITY. +ENSURE YOU DO THE RIGHT THINGS TO MAKE THEM PASS. +```sh +npx hereby build # Build the project +npx hereby test # Run tests +npx hereby lint # Run linters +npx hereby format # Format the code +``` + + ## Compiler Features, Fixes, and Tests When fixing a bug or implementing a new feature, at least one minimal test case should always be added in advance to verify the fix.