From da7820e662b081933c375f7ee3c609060b366de3 Mon Sep 17 00:00:00 2001 From: Ivan Gotovchits Date: Tue, 8 Dec 2020 13:05:54 -0500 Subject: [PATCH] fixes nightly tests (#1258) The tests are requiring the presence of radare (for the sole purpose of disabling radare), therefore they were failing since when we excluded bap-radare2 from the default distribution of bap. The solution is simple just install bap-radare. As a nice side-effect we will also test that radare2 is properly installed. --- .github/workflows/nightly-testing.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/nightly-testing.yml b/.github/workflows/nightly-testing.yml index 1c1c8f123..efbee2088 100644 --- a/.github/workflows/nightly-testing.yml +++ b/.github/workflows/nightly-testing.yml @@ -38,12 +38,15 @@ jobs: - name: Install System Dependencies run: opam depext -u bap + - name: Install radare2 Dependencies + run: opam depext -u bap-radare2 + - name: Cleanup the Caches if: matrix.os == 'ubuntu-latest' run: sudo apt clean --yes - name: Build and Install BAP - run: opam install bap + run: opam install bap bap-radare2 - name: Checkout the Tests uses: actions/checkout@v2