Skip to content

Commit f30bb38

Browse files
Merge pull request #1340 from ldorau/Describe_precisely_the_drdshort_valgrind_job
Describe precisely the drdshort valgrind job
2 parents 8342bda + 1d774ed commit f30bb38

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/reusable_valgrind.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141
- name: Run tests with 'memcheck'
4242
run: ${{github.workspace}}/test/test_valgrind.sh ${{github.workspace}} ${{github.workspace}}/build memcheck
4343

44-
- name: Run tests with 'drd'
44+
- name: Run tests with 'drd' ("drdshort" - very long lasting tests are disabled)
4545
run: ${{github.workspace}}/test/test_valgrind.sh ${{github.workspace}} ${{github.workspace}}/build drdshort
4646

4747
- name: Run tests with 'helgrind'

0 commit comments

Comments
 (0)