fix

hannesm · Jan 6, 2025 · c8dd9c1 · c8dd9c1
1 parent af57a9b
commit c8dd9c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/maintenance-intent.yml b/.github/workflows/maintenance-intent.yml
@@ -24,7 +24,7 @@ jobs:
             echo "here2 $bn"
             if [ $bn = "opam" ]; then
               echo "here3 $bn"
-              maint_int_present=$((grep "^x-maintenance-intent: " ${file} > /dev/null ; echo 1) || echo 0)
+              maint_int_present=$(grep "^x-maintenance-intent: " ${file} | wc -l || true)
               echo "here4 $maint_int_present"
               if [ "$maint_int_present" -eq 0 ]; then
                 echo "here5 $maint_int_present"