diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 11b5bc95283..15d817f3096 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -57,6 +57,11 @@ jobs: python -m tools.ci.check_legacy_attack_chain python -m tools.maplint.source --github + - name: Setup .NET SDK + uses: actions/setup-dotnet@v4.2.0 + with: + dotnet-version: 9.x + - name: Run DreamChecker shell: bash run: ~/dreamchecker 2>&1 | bash tools/ci/annotate_dm.sh