Skip to content

Link GHA shield badge to GHA workflow #16

Link GHA shield badge to GHA workflow

Link GHA shield badge to GHA workflow #16

Workflow file for this run

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@v4
- 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@v4
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