From 7fe89dd051930e04edc98e37845e54911535be06 Mon Sep 17 00:00:00 2001
From: Glenn <glenux@glenux.net>
Date: Fri, 29 Mar 2024 15:20:35 +0100
Subject: [PATCH] ci: add support for docker in jenkins

---
 Jenkinsfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5bd4b09..55caedd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,8 +4,15 @@ pipeline {
 
     stages {
         stage('Build') {
+    		agent {
+                docker {
+                    image 'crystallang/crystal:1.11.0-alpine'
+                    reuseNode true
+                }
+            }
             steps {
-                echo 'Building..'
+                sh 'shards install'
+                sh 'shards build --production --static'
             }
         }
         stage('Test') {