CI: Pin gsersemi version

2026-09-02 18:58:51 +02:00 · 2025-11-21 20:07:32 -05:00
parent 86004fb582
commit dabfb7291b
1 changed files with 1 additions and 1 deletions
@@ -30,7 +30,7 @@ jobs:
        run: |
          bash ci/ci-install.bash &&
          sudo apt-get install clang-format-18 yapf3 &&
-          sudo pip3 install gersemi mbake &&
+          sudo pip3 install gersemi==0.23.1 mbake &&
          git config --global user.email "[email protected]" &&
          git config --global user.name "github action"
      - name: Format code