CI: Add a step to list dependencies. (#4255)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 705e0679d511f381b780dd25f03e47ad18ad1b57..810f4b925eab9ef4c9f5c13eae039128938aa40a 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -98,6 +98,11 @@ jobs:
         ./contrib/get-cryptominisat
         ./contrib/get-lfsc-checker
 
+    - name: List dependencies
+      run: |
+        find deps/install -type f
+        cat deps/install/bin/antlr3
+
     # GitHub actions currently does not support modifying an already existing
     # cache. Hence, we create a new cache for each commit with key
     # cache-${{ runner.os }}-${{ matrix.cache-key }}-${{ github.sha }}. This