From 2dec004b0dc1ac9f85ae9bfd912780d062f8d4aa Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes1.fr>
Date: Tue, 17 Nov 2020 16:46:26 +0100
Subject: [PATCH] Updated Jenkinsfile

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 94071b7..06631e1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,22 +9,27 @@ pipeline {
 
         stage('Build the code and generate tests results...') {
             steps {
+                echo 'building..'
             }
         }
         stage('Create a setup file...') {
             steps {
+                echo 'creating Python pip file...'
             }
         }
         stage('Test installation...') {
             steps {
+                echo 'testing the install process...'
             }
         }
         stage('Building HTML documentation...') {
             steps {
+                echo 'building HTML...'
             }
         }
         stage('Syncing website...') {
             steps {
+                echo 'syncing website...'
             }
         }
         stage('Cleaning up...') {