pipeline {
    agent any

    environment {
        PATH = "/var/jenkins_home/.cargo/bin:${env.PATH}"
    }

    stages {
        stage('CI') {
            steps {
                withChecks(name: 'Rust CI', includeStage: true) {
                    sh '''
                        set -e
                        rustc --version
                        cargo --version
                        make ci
                    '''
                }
            }
        }
    }
}