From db750d9fc6ffcf50591c04300e75202543bcea27 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Sun, 3 Dec 2023 04:11:18 +0200 Subject: [PATCH] update git diff command in verify.v --- verify.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/verify.v b/verify.v index a2853a2..ea6e6f3 100644 --- a/verify.v +++ b/verify.v @@ -56,9 +56,10 @@ fn vout(v_file string, output string) !(string, bool) { fn discover_files() ![]string { if os.getenv('CHANGED') != '' { - git_diff_cmd := 'git --no-pager diff --name-only $(git merge-base FETCH_HEAD main) FETCH_HEAD' + git_diff_cmd := 'git --no-pager diff --name-only FETCH_HEAD' println(git_diff_cmd) changes := os.execute(git_diff_cmd).output.split_into_lines() + dump(changes) files := changes.filter(it.ends_with('.v') && it.starts_with('20')) if files.len > 0 { println('running only a subset of all tests, based on the git diff for the new/changed solutions, compared to the main origin branch: ${files}')