OpenIntegrations/jenkinsfile

pipeline {
    agent any
    stages {
        stage('Prepare') {
            steps {
                    checkout scm
                    bat encoding: 'UTF-8', script:'opm install osparser'
                    bat encoding: 'UTF-8', script:'opm install cmdline'
                    bat encoding: 'UTF-8', script:'opm install asserts'
                    bat encoding: 'UTF-8', script:'opm install osparser'
                    bat encoding: 'UTF-8', script:'opm install coloratos'
            }
        }

        stage('Build') {
            steps {
                    bat encoding: 'UTF-8', script:'oscript ./.github/workflows/os/main.os'
            }
        }

        stage('Update GIT') {
            steps {
                script {
                    
                    withCredentials([gitUsernamePassword(credentialsId: 'gitmain', gitToolName: 'Default')]) {
                        bat "git config user.email VitalyTheAlpaca@gmail.com"
                        bat "git config user.name VitalyTheAlpaca"
                        bat "git config --global core.ignorecase true"
                        bat "git add ."
                        bat 'git commit -m "Main build (Jenkins)"'
                        bat "git push origin HEAD"
                    }
                        
                    
                }
            }
        }
    }
}