Also get stdlib.h

goblint · Jul 25, 2024 · 048f69a · 048f69a
1 parent 885dc08
commit 048f69a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -64,3 +64,10 @@ jobs:
         with:
           name: ${{ matrix.os }}-${{ matrix.ocaml-version }}-stdio
           path: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/usr/include/sys/stdio.h
+
+      - name: Upload test log
+        uses: actions/upload-artifact@v3
+        if: always()
+        with:
+          name: ${{ matrix.os }}-${{ matrix.ocaml-version }}-stdlib
+          path: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/usr/include/stdlib.h