From 5da7a4caf34346014fbd496187ed8ee8e4915b1d Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Thu, 21 Oct 2021 12:02:40 +0100
Subject: Setup tests for both master and develop

We are avoiding slow tests for now since they seem to run out of RAM.
Also note that in the GitHub Actions we used a trick to expose the
`$HOME` env variable, as described here:

        https://web.archive.org/web/20211021130639/https://brandur.org/fragments/github-actions-env-vars-in-env-vars

A nice badge in the README will also tell the outcome of the process.
---
 getlibs.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 getlibs.sh

(limited to 'getlibs.sh')

diff --git a/getlibs.sh b/getlibs.sh
deleted file mode 100755
index be24be7..0000000
--- a/getlibs.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-
-VERSION="4.1.0"
-NAME="RDFox-linux-$VERSION"
-LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
-DEST="./lib/"
-
-mkdir -p "$DEST"
-wget "$LINK"
-unzip "$NAME.zip"
-cp "./$NAME/lib/JRDFox.jar" "$DEST"
-- 
cgit v1.2.3