We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f5309ce commit f6e830fCopy full SHA for f6e830f
1 file changed
.github/workflows/correctness_check.yaml
@@ -24,7 +24,7 @@ jobs:
24
run: make
25
26
- name: Run small correctness check subset with valgrind
27
- uses: parcio/partdiff_tester@v0.1.7
+ uses: parcio/partdiff_tester@v0.1.8
28
with:
29
executable: "./partdiff"
30
strictness: "4"
@@ -33,7 +33,7 @@ jobs:
33
max_num_tests: "5"
34
35
- name: Run full correctness check without valgrind
36
37
38
39
0 commit comments