From fba8f8787f83bc80ad980f8da8baba1edce34815 Mon Sep 17 00:00:00 2001 From: Francesco Mazzoli Date: Sun, 20 Aug 2023 17:44:35 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 988330be..a693a5d3 100644 --- a/README.md +++ b/README.md @@ -131,7 +131,7 @@ CI is currently very long (~40 mins for the "quick" tests, ~3h for the full test If you have a small fix and want to push to `main`, run at least ``` -% go run . -filter 'direct' -short -build-type sanitized +% go run . -filter 'mounted' -short -build-type sanitized ``` In `go/eggstests`. This takes around 3 minutes, and will surface gross mistakes. Note that this does _not_ test the kernel module (CI does).