diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml index 06d1ae4..3c203f5 100644 --- a/.github/workflows/scala.yml +++ b/.github/workflows/scala.yml @@ -55,5 +55,15 @@ jobs: - name: Compile tests run: sbt "+test:compile" - - name: Run tests - run: sbt "+test" + - name: Test Dhrystones + run: make regression_dhrystone -C scripts/regression + + - name: Test Baremetal + run: make regression_random_baremetal -C scripts/regression + + - name: Test Machine OS + run: make regression_random_machine_os -C scripts/regression + + - name: Test Linux + run: make regression_random_linux -C scripts/regression +