pipeline {
    agent any 
    stages {
        stage('checkout: Check out from version control') {
            steps {
                checkout([$class: 'GitSCM',
                          branches: [[name: '*/master']],
                          extensions: [],
                          userRemoteConfigs: [[credentialsId: 's487194', url: 'https://git.wmi.amu.edu.pl/s487194/ium_487194']]])
            }
        }
        stage('Stage 1') {
            steps {
                echo 'Hello world!' 
            }
        }
    }
}