diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
index af5b6d9b..a5d93762 100644
--- a/.github/workflows/pull-request.yaml
+++ b/.github/workflows/pull-request.yaml
@@ -30,6 +30,10 @@ jobs:
       - name: Get .NET information
         run: dotnet --info
 
+      - name: Get Mono information
+        run: mono --version
+        if: ${{ matrix.os != 'windows-2022' }}
+
       - name: "Build target: BuildAll"
         run: dotnet run --project tools/builder --no-launch-profile -- BuildAll
 
diff --git a/.github/workflows/push-main.yaml b/.github/workflows/push-main.yaml
index f6519238..7c83d455 100644
--- a/.github/workflows/push-main.yaml
+++ b/.github/workflows/push-main.yaml
@@ -29,6 +29,9 @@ jobs:
       - name: Get .NET information
         run: dotnet --info
 
+      - name: Get Mono information
+        run: mono --version
+
       - name: "Build target: BuildAll"
         run: dotnet run --project tools/builder --no-launch-profile -- BuildAll --timing