File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 7878
7979 - name : Generate coverage report
8080 run : |
81- ~/.local/bin/gcovr --root . --txt coverage-summary.txt
82- ~/.local/bin/gcovr --root . --xml-pretty coverage.xml
81+ ~/.local/bin/gcovr --root . --object-directory build -- txt --output coverage-summary.txt
82+ ~/.local/bin/gcovr --root . --object-directory build -- xml-pretty --output coverage.xml
8383
8484 - name : Upload coverage artifact
8585 uses : actions/upload-artifact@v4
Original file line number Diff line number Diff line change @@ -56,11 +56,11 @@ static int run_monitor_thread_scenario(void) {
5656 return 1 ;
5757 }
5858 int rc = 0 ;
59- if (wait_for_width (SIMD_SSE41 , 500 ) != 0 ) {
59+ if (wait_for_width (SIMD_SSE41 , 5000 ) != 0 ) {
6060 fprintf (stderr , "width did not downgrade\n" );
6161 rc = 1 ;
6262 }
63- if (rc == 0 && wait_for_width (SIMD_AVX2 , 500 ) != 0 ) {
63+ if (rc == 0 && wait_for_width (SIMD_AVX2 , 5000 ) != 0 ) {
6464 fprintf (stderr , "width did not upgrade\n" );
6565 rc = 1 ;
6666 }
You can’t perform that action at this time.
0 commit comments