CI: enable color for OscarCI diffs (#881)

oscar-system · May 23, 2023 · 6465b9c · 6465b9c
1 parent 67022a8
commit 6465b9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
@@ -104,9 +104,9 @@ jobs:
         if: steps.setupdev.outputs.skiptests != 'true'
         run: |
           echo '${{ env.oscar_run_tests }}'
-          julia --project=oscar-dev/project/ -e '${{ env.oscar_run_tests }}'
+          julia --color=yes --project=oscar-dev/project/ -e '${{ env.oscar_run_tests }}'
       - name: "Run doctests"
         if: steps.setupdev.outputs.skiptests != 'true' && (matrix.julia-version == '~1.8.0-0' || matrix.julia-version == '1.8')
         run: |
           echo '${{ env.oscar_run_doctests }}'
-          julia --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'
+          julia --color=yes  --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'