chore: remove jenkins

Co-authored-by: Lorenzo Fontana <lo@linux.com> Signed-off-by: Leonardo Di Donato <leodidonato@gmail.com>
falcosecurity · Jan 20, 2020 · c8e1491 · c8e1491
1 parent c0af7cd
commit c8e1491
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 184 deletions.
diff --git a/scripts/jenkins/build-pipeline/Jenkinsfile b/scripts/jenkins/build-pipeline/Jenkinsfile
diff --git a/scripts/jenkins/build-pipeline/build b/scripts/jenkins/build-pipeline/build
diff --git a/scripts/jenkins/build-pipeline/run-tests b/scripts/jenkins/build-pipeline/run-tests
diff --git a/scripts/jenkins/build-pipeline/version b/scripts/jenkins/build-pipeline/version