From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 9 Apr 2020 22:57:45 +0000 (-0700)
Subject: CI: Add a step to list dependencies. (#4255)
X-Git-Tag: cvc5-1.0.0~3391
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=789f5b3c8c224deb48fe547303147e0d15e690ae;p=cvc5.git

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

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