diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 55c32210..c5df8ce4 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -73,7 +73,7 @@ jobs: - uses: actions/checkout@main - run: make -j3 host-diff - run: make -j3 java/GenBase.java - #- run: make -j3 host-diff-java + - run: make -j3 host-diff-java - run: make -j3 test-error FUT_HOST=cs - run: make -j3 test-error FUT_HOST=java - run: make -j3 test-error FUT_HOST=node