Build and run tests in Github Actions in Ubuntu

.github/workflows/build-and-test.yml

@@ -0,0 +1,12 @@
+name: build-and-test
+
+on: [push, pull_request]
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - run: .github/workflows/prepare.sh
+      - run: bash scripts/first.sh
+      - run: make check

.github/workflows/prepare.sh

@@ -0,0 +1,22 @@
+#!/bin/sh
+
+set -e
+
+ROOT=$PWD
+cd ..
+
+echo "Downloading Inweb"
+rm -rf inweb
+curl -Ls https://github.com/ganelson/inweb/archive/refs/heads/master.tar.gz | tar xz
+mv inweb-master inweb -f
+echo "Compiling Inweb"
+bash inweb/scripts/first.sh linux
+
+echo "Downloading Intest"
+rm -rf intest
+curl -Ls https://github.com/ganelson/intest/archive/refs/heads/master.tar.gz | tar xz
+mv intest-master intest -f
+echo "Compiling Intest"
+bash intest/scripts/first.sh
+
+cd $ROOT