ci: add GitHub Actions workflow 'Test'

.github/generate_matrix.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+_matrix=''
+for item in $(cat tests.txt); do
+  _matrix+="'$item', "
+done
+
+echo "::set-output name=matrix::[$_matrix]"

.github/workflows/Test.yml

@@ -0,0 +1,45 @@
+name: Test
+
+on:
+  push:
+  pull_request:
+
+jobs:
+
+
+  Matrix:
+    runs-on: ubuntu-latest
+    name: '🧾 Generate Test matrix'
+    outputs:
+      matrix: ${{ steps.generate.outputs.matrix }}
+    steps:
+
+    - name: '🧰 Checkout'
+      uses: actions/checkout@v2
+
+    - id: generate
+      name: '🧾 generate_matrix.sh'
+      run: ./.github/generate_matrix.sh
+
+
+  Test:
+    needs: Matrix
+    runs-on: ubuntu-20.04
+    strategy:
+      fail-fast: false
+      matrix:
+        design: ${{ fromJson(needs.Matrix.outputs.matrix) }}
+    name: '🛳️ Test · ${{ matrix.design }}'
+    steps:
+
+    - name: '🧰 Checkout'
+      uses: actions/checkout@v1
+      with:
+        submodules: recursive
+
+    - name: '🛳️ Execute make ${{ matrix.design }} in hdlc/formal:all'
+      uses: docker://hdlc/formal:all
+      with:
+        args: make ${{ matrix.design }}
+      env:
+        BUILD_NAME: ACCEPTANCE

Makefile

@@ -1,4 +1,4 @@
-DESIGNS := $(file < tests.txt)
+DESIGNS := $(shell cat tests.txt)
 
 .PHONY: ${DESIGNS} all clean
 

README.md

@@ -1,3 +1,5 @@
+[![](https://img.shields.io/github/workflow/status/tmeissner/formal_hw_verification/Test/main?longCache=true&style=flat-square&label=Test&logo=GitHub%20Actions&logoColor=fff)](https://github.com/tmeissner/formal_hw_verification/actions?query=workflow%3ATest)
+
 The original repository is located on my own git-server at [https://git.goodcleanfun.de/tmeissner/formal_hw_verification](https://git.goodcleanfun.de/tmeissner/formal_hw_verification)
 
 It is mirrored to github with every push, so both should be in sync.

tests.txt

@@ -1,5 +1,5 @@
-alu \
-counter \
-fifo \
-vai_fifo \
-vai_reg
+alu
+counter
+fifo
+vai_fifo
+vai_reg