From d88e0bc737335502ceb5770beca832eb8d3a4f60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Petr=20Bene=C5=A1?= <w.benny@outlook.com>
Date: Tue, 12 Nov 2024 16:05:14 +0000
Subject: [PATCH] chore: check examples in CI workflow

---
 .github/workflows/ci.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6021ebb..7b3915a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -120,3 +120,21 @@ jobs:
 
       - name: Run build
         run: cargo build
+
+  #
+  # It would be better to run `cargo build --examples` but since the Xen
+  # is not installed in the CI environment, the examples will not compile.
+  #
+  examples:
+    name: cargo check --examples
+    runs-on: ubuntu-latest
+    # needs: xen-install
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Set up Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Run check
+        run: cargo check --examples