| … | … | @@ -71,7 +71,7 @@ jobs: |
| 71 | 71 | command: cd build && make -j2 tests |
| 72 | 72 | - run: |
| 73 | 73 | name: Run tests |
| 74 | | command: cd build && make -j2 test ARGS=-j2 |
| 74 | command: cd build && make -j2 check ARGS=-j2 |
| 75 | 75 | - run: |
| 76 | 76 | name: Install URE |
| 77 | 77 | command: cd build && make -j2 install && ldconfig |
| … | … | @@ -132,7 +132,7 @@ jobs: |
| 132 | 132 | command: cd build && make -j2 tests |
| 133 | 133 | - run: |
| 134 | 134 | name: Run tests |
| 135 | | command: cd build && make -j2 test ARGS=-j2 |
| 135 | command: cd build && make -j2 check ARGS=-j2 |
| 136 | 136 | - run: |
| 137 | 137 | name: Print test log |
| 138 | 138 | command: cat build/tests/Testing/Temporary/LastTest.log |
| … | … | @@ -173,7 +173,7 @@ jobs: |
| 173 | 173 | command: cd build && make -j2 tests |
| 174 | 174 | - run: |
| 175 | 175 | name: Run tests |
| 176 | | command: cd build && make -j2 test ARGS=-j2 |
| 176 | command: cd build && make -j2 check ARGS=-j2 |
| 177 | 177 | - run: |
| 178 | 178 | name: Install spacetime |
| 179 | 179 | command: cd build && make -j2 install && ldconfig |
| … | … | @@ -238,7 +238,7 @@ jobs: |
| 238 | 238 | command: cd build && make -j2 install && ldconfig |
| 239 | 239 | - run: |
| 240 | 240 | name: Run tests |
| 241 | | command: cd build && make -j2 test ARGS=-j2 |
| 241 | command: cd build && make -j2 check ARGS=-j2 |
| 242 | 242 | - run: |
| 243 | 243 | name: Print test log |
| 244 | 244 | command: cat build/tests/Testing/Temporary/LastTest.log |