Github Actions integration to replace circle ci (#30)

* Replaced CircleCI with github actions

* Added phony targets just to make sure the Makefile never breaks

* removed the dedis base makefile because it wasn't used in building
  anyway

Author: CluEleSsUK

.circleci/config.yml

@@ -0,0 +1,27 @@
+name: Tests
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches: [ master ]
+
+concurrency:
+  group: ci-${{ github.ref }}-test
+  cancel-in-progress: true
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+
+      - name: Install Go
+        uses: actions/setup-go@v2
+        with:
+          go-version: '1.17'
+
+      - name: Run tests
+        run: make test

.github/workflows/tests.yml

@@ -1,5 +1,9 @@
 .DEFAULT_GOAL := test
 
-Coding/bin/Makefile.base:
-	git clone https://github.com/dedis/Coding
-include Coding/bin/Makefile.base
+.PHONY: fetch-dependencies
+fetch-dependencies:
+	go get -v -t -d ./...
+
+.PHONY: test
+test: fetch-dependencies
+	go test -v ./...