From 7fbb9ebe42c40b05bb4f254fc4df28fdea075860 Mon Sep 17 00:00:00 2001
From: Richard Ramos <info@richardramos.me>
Date: Tue, 5 Sep 2023 11:18:59 -0400
Subject: [PATCH] chore: build examples as part of CI build process to capture
 compile errors

---
 ci/Jenkinsfile.linux | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux
index 32c5f937..1ad0854d 100644
--- a/ci/Jenkinsfile.linux
+++ b/ci/Jenkinsfile.linux
@@ -48,6 +48,12 @@ pipeline {
       } } }
     }
 
+    stage('Build examples') {
+      steps { script { dir(env.REPO) {
+        nix.develop('make build-example')
+      } } }
+    }
+
     stage('Package') {
       steps { script { dir(env.REPO) {
         dir('./scripts/linux') {