Cleanup

2025-04-20 07:12:27 +03:00
parent 48c70ff357
commit d784de2d80
27 changed files with 10 additions and 2165 deletions
@@ -1,53 +0,0 @@
-pipeline {
-    agent {
-        dockerfile {
-            filename 'dockerfiles/jenkins'
-            dir '.'
-            args '--user=root --privileged -v /var/run/docker.sock:/var/run/docker.sock'
-        }
-    }
-
-    options {
-            buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
-    }
-
-    stages {
-        stage('Build test libraries') {
-            steps {
-                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                    sh 'make libtest.so libtest.a'
-                }
-            }
-        }
-        stage('Build Chibi libraries') {
-            agent {
-                dockerfile {
-                    filename 'dockerfiles/build-chibi'
-                }
-            }
-            steps {
-                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                    sh 'make cbibi'
-                }
-            }
-        }
-        {{#script-implementations}}
-        stage('{{.}} script') {
-            steps {
-                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                    sh 'make SCHEME={{.}} test-script-docker'
-                }
-            }
-        }
-        {{/script-implementations}}
-        {{#compiler-implementations}}
-        stage('{{.}} compile') {
-            steps {
-                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                    sh 'make SCHEME={{.}} test-compile-docker'
-                }
-            }
-        }
-        {{/compiler-implementations}}
-    }
-}