Ajouter 'Jenkinsfile'

2019-08-08 11:28:31 +02:00 · 2019-08-08 11:28:31 +02:00 · 7c96fd6bce
commit 7c96fd6bce
parent fa34717836
1 changed files with 20 additions and 0 deletions
--- a/20
+++ b/20
@ -0,0 +1,20 @@
+pipeline {
+    agent { label 'master' }
+    stages {
+        stage('sources') {
+            steps {
+                checkout scm
+            }
+        }
+        stage('install') {
+            steps {
+                sh 'cargo install cross'
+            }
+        }
+        stage('build') {
+            steps {
+                sh 'cross build --target x86_64-pc-windows-gnu --release'
+            }
+        }
+    }
+}