ci: Remove unused defines parameter (#1208)

The `defines` parameter is no longer supported by the CVA6 Makefile.
remove it.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
This commit is contained in:
Nils Wistoff 2023-04-26 23:29:38 +02:00 committed by GitHub
parent fafb6aa6d8
commit aa547723d2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -22,4 +22,4 @@ jobs:
- name: Prepare
run: ci/setup.sh
- name: run tests
run: make run-${{ matrix.testcase}}-verilator defines=${{ matrix.cache }}
run: make run-${{ matrix.testcase}}-verilator