diff --git a/.github/workflows/test.yml b/.github/workflows/Test.yml similarity index 75% rename from .github/workflows/test.yml rename to .github/workflows/Test.yml index b3087b0..7be09f7 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/Test.yml @@ -1,21 +1,23 @@ -name: 'tests' +name: Test -on: [ push, pull_request ] +on: + push: + pull_request: jobs: - test: + Test: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 + - uses: actions/checkout@v4 with: submodules: recursive - run: docker run --rm -tv $(pwd):/src -w /src/test -e BUILD_NAME=ACCEPTANCE ghdl/vunit:llvm make all - formal: + Formal: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 + - uses: actions/checkout@v4 with: submodules: recursive - run: docker run --rm -tv $(pwd):/src -w /src/formal -e BUILD_NAME=ACCEPTANCE ghdl/synth:formal make all