Skip to content

Commit

Permalink
update git diff command in verify.v
Browse files Browse the repository at this point in the history
  • Loading branch information
spytheman committed Dec 3, 2023
1 parent 4920bd7 commit db750d9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion verify.v
Original file line number Diff line number Diff line change
Expand Up @@ -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}')
Expand Down

0 comments on commit db750d9

Please sign in to comment.