ci: run tests with -prod

2020-07-11 12:19:59 +02:00 · 2020-07-11 12:19:59 +02:00 · 867929e0b4
parent 2a696cb837
commit 867929e0b4
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -164,6 +164,8 @@ jobs:
    - name: Fixed tests
      run: |
        ./v test-fixed
+    - name: Fixed tests (-prod)
+      run: ./v -o vprod -prod cmd/v && ./vprod test-fixed
    - name: Build examples
      run: ./v build-examples
    - name: x64 machine code generation