]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
ci: print version of used tools 2144/head
authorJoerg Behrmann <behrmann@physik.fu-berlin.de>
Sat, 9 Dec 2023 11:26:02 +0000 (12:26 +0100)
committerJoerg Behrmann <behrmann@physik.fu-berlin.de>
Sat, 9 Dec 2023 11:26:02 +0000 (12:26 +0100)
.github/workflows/ci.yml

index d4df2ab869e6c09de364e63eae5ca4966311bb72..02ec88ed3adcf808d0a5e241209691e0081609ba 100644 (file)
@@ -26,19 +26,27 @@ jobs:
         npm install -g pyright
 
     - name: Run ruff
-      run: ruff mkosi/ tests/
+      run: |
+        ruff --version
+        ruff mkosi/ tests/
 
     - name: Check that tabs are not used in code
       run: sh -c '! git grep -P "\\t" "*.py"'
 
     - name: Type Checking (mypy)
-      run: python3 -m mypy mkosi/ tests/
+      run: |
+        python3 -m mypy --version
+        python3 -m mypy mkosi/ tests/
 
     - name: Type Checking (pyright)
-      run: pyright mkosi/ tests/
+      run: |
+        pyright --version
+        pyright mkosi/ tests/
 
     - name: Unit Tests
-      run: python3 -m pytest -sv tests/
+      run: |
+        python3 -m pytest --version
+        python3 -m pytest -sv tests/
 
     - name: Test execution from current working directory
       run: python3 -m mkosi -h