diff --git a/Jenkinsfile b/Jenkinsfile index 0dc16a8927..5a3b2acd2b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,4 +8,4 @@ */ dependenciesRevision='0262f03a59f8acef3a308d9b0d38465b4b82a017-2024' -kernelVersion='dev-4382' +kernelVersion='dev-4268' \ No newline at end of file