ci: clean the right directory

Author: keks

.github/workflows/mlkem-c.yml

@@ -125,13 +125,13 @@ jobs:
 
       - name: Diff Extraction C++
         run: |
-          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/cpp
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/cpp/out
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-cpp-extraction
           diff -r libcrux-ml-kem/extracts/cpp/out ~/mlkem-cpp-extraction
 
       - name: Diff Extraction C
         run: |
-          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/c
+          libcrux-ml-kem/extracts/common/headers_kill_revs.sh libcrux-ml-kem/extracts/c/out
           libcrux-ml-kem/extracts/common/headers_kill_revs.sh ~/mlkem-c-extraction
           diff -r libcrux-ml-kem/extracts/c/out ~/mlkem-c-extraction