ci: Update GitHub Make jobs

2021-09-23 11:06:48 +02:00
parent 623706668c
commit ed4c573103
11 changed files with 75 additions and 36 deletions
--- a/.github/workflows/make_windows_python.yml
+++ b/.github/workflows/make_windows_python.yml
@@ -21,6 +21,8 @@ jobs:
      run: tools\make --version
    - name: Check system
      run: tools\make detect_port
+    - name: Check Python
+      run: tools\make detect_python
    - name: Build third party
      run: tools\make third_party -j4
    - name: Build C++