Implement CI build w/ github actions

Author: dajudge

.github/workflows/build.yml

@@ -0,0 +1,14 @@
+name: CI Build
+on: [push]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Set up JDK 11
+        uses: actions/setup-java@v2
+        with:
+          java-version: '11'
+          distribution: 'adopt'
+      - name: Build with Gradle
+        run: ./gradlew build

.workbench/Dockerfile

@@ -1,16 +1,3 @@
-FROM oracle/graalvm-ce:19.3.1-java11
+FROM ubuntu:focal
 
-RUN	yum install -y bash curl sudo wget tar
-
-RUN mkdir -p /opt && \
-    wget -qO- https://download.docker.com/linux/static/stable/x86_64/docker-17.12.1-ce.tgz | tar xvz -C /opt && \
-    ln -s /opt/docker/docker /usr/bin/docker
-
-RUN curl -L "https://github.com/docker/compose/releases/download/1.25.3/docker-compose-$(uname -s)-$(uname -m)" -o /usr/bin/docker-compose && \
-    chmod 755 /usr/bin/docker-compose
-
-RUN gu install native-image
-
-RUN yum install -y gcc glibc-devel zlib-devel
-
-CMD ["bash"]
+RUN apt update && apt install -y sudo

workbench

@@ -2,23 +2,14 @@
 
 DIR="$(cd "$(dirname "$0")"; pwd)";
 
-IMG=$(docker build -q $DIR/.workbench)
-
-DOCKER_ARGS="-it"
+IMG="ubuntu:focal"
 
 if [ "$#" -eq 0 ]; then
     CMD=bash
 else
     CMD="$@"
 fi
 
-if [ ! -z "$CI_PROJECT_DIR" ]; then
-    CONTAINER_OPTS="-v /root:/root -v /${CI_PROJECT_DIR}:/${CI_PROJECT_DIR}"
-    USER=root
-else
-    CONTAINER_OPTS="-v $HOME:$HOME -it"
-fi
-
 docker run --rm \
     --net host \
     -v /etc/passwd:/etc/passwd \
@@ -28,11 +19,7 @@ docker run --rm \
     -e http_proxy="$http_proxy" \
     -e https_proxy="$https_proxy" \
     -e no_proxy="$no_proxy" \
-    -e CI_COMMIT_REF_NAME="$CI_COMMIT_REF_NAME" \
-    -e CI_COMMIT_TAG="$CI_COMMIT_REF_NAME" \
-    -e DOCKERHUB_USERNAME="$DOCKERHUB_USERNAME" \
-    -e DOCKERHUB_PASSWORD="$DOCKERHUB_PASSWORD" \
     -v "${DIR}":/project \
     -v /var/run/docker.sock:/var/run/docker.sock \
-    $CONTAINER_OPTS $IMG \
-    sudo -u ${USER} -E sh -c "cd ${DIR}; ${CMD}"
+    -v $HOME:$HOME \
+    -it $IMG sudo -u ${USER} -E sh -c "cd ${DIR}; ${CMD}"