diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 48751bf5c..0cbe8ad23 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -128,11 +128,11 @@ jobs: - name: Odin check examples/all run: ./odin check examples/all -strict-style timeout-minutes: 10 - # - name: Core library tests - # run: | - # cd tests/core - # make - # timeout-minutes: 10 + - name: Core library tests + run: | + cd tests/core + make + timeout-minutes: 10 - name: Odin internals tests run: | cd tests/internal |