diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 48abd0f..86472ad 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -1,17 +1,9 @@ -name: 'tests' +name: 'formal' 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: diff --git a/.github/workflows/simulation.yml b/.github/workflows/simulation.yml new file mode 100644 index 0000000..c2e76c3 --- /dev/null +++ b/.github/workflows/simulation.yml @@ -0,0 +1,13 @@ +name: 'simulation' + +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/sim -e BUILD_NAME=ACCEPTANCE ghdl/vunit:llvm make all