Add Github actions config file & badge, fixes #2

.github/workflows/test.yml

@@ -0,0 +1,21 @@
+name: 'tests'
+
+on: [ push, pull_request ]
+
+jobs:
+
+#  simulation:
+#    runs-on: ubuntu-latest
+#    steps:
+#    - uses: actions/checkout@v1
+#      with:
+#        submodules: recursive
+#    - run: docker run --rm -tv $(pwd):/src -w /src/test -e BUILD_NAME=ACCEPTANCE ghdl/vunit:llvm make all
+
+  formal:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: recursive
+    - run: docker run --rm -tv $(pwd):/src -w /src/formal -e BUILD_NAME=ACCEPTANCE ghdl/synth:formal make all

README.md

@@ -1,3 +1,5 @@
+[![tests](https://github.com/tmeissner/psl_with_ghdl/workflows/tests/badge.svg?branch=master)](https://github.com/tmeissner/psl_with_ghdl/actions?query=workflow%3Atests)
+
 # psl_with_ghdl
 
 A collection of examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys).