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') {