Merge pull request #732, Embed vdr-tools into the repo

Embed vdr-tools into the repo from fork of vdr-tools #debf776c8e, https://gitlab.com/left-arm/vdr-tools.git
hyperledger · Jan 12, 2023 · a3c3c91 · a3c3c91
2 parents eb788cd + c269f93
commit a3c3c91
Show file tree

Hide file tree

Showing 282 changed files with 104,554 additions and 8 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -340,7 +340,7 @@ jobs:
         with:
           skip-docker-setup: true
       - name: "Run workspace tests: general_test"
-        run: RUST_TEST_THREADS=1 cargo test --workspace --exclude aries-vcx-agent -F "general_test"
+        run: RUST_TEST_THREADS=1 cargo test --workspace --exclude aries-vcx-agent --exclude libvdrtools -F general_test
 
   test-integration-aries-vcx:
     needs: workflow-setup