From 789f5b3c8c224deb48fe547303147e0d15e690ae Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 9 Apr 2020 15:57:45 -0700
Subject: [PATCH] CI: Add a step to list dependencies. (#4255)

---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 705e0679d..810f4b925 100644
--- 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
-- 
2.30.2