Print config.log for ARM CI

flintlib · Nov 19, 2023 · 92d0ff2 · 92d0ff2
1 parent 857713d
commit 92d0ff2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/slow_CI.yml b/.github/workflows/slow_CI.yml
@@ -92,3 +92,8 @@ jobs:
           # FIXME: Is it possible to run these in parallel without freezing?
           qemu-aarch64 -L /usr/aarch64-linux-gnu build/test/main
           qemu-aarch64 -L /usr/aarch64-linux-gnu build/fft_small/test/main
+
+      - if: failure()
+        name: "Print config.log"
+        run: |
+          cat config.log