From c23f3b47369fec1414ede121f01cf1a829a04f71 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sun, 3 May 2020 01:08:36 +0200
Subject: [PATCH] Add Github actions config file & badge, fixes #2

---
 .github/workflows/test.yml | 21 +++++++++++++++++++++
 README.md                  |  2 ++
 2 files changed, 23 insertions(+)
 create mode 100644 .github/workflows/test.yml

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
new file mode 100644
index 0000000..48abd0f
--- /dev/null
+++ b/.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
diff --git a/README.md b/README.md
index f67fcb5..76cd794 100644
--- a/README.md
+++ b/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).