diff --git a/Jenkinsfile b/Jenkinsfile index ecb286f593..3e6c2ff30e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,4 +8,4 @@ */ dependenciesRevision='11994a0c043cbfd2878c14d07d7416e53d4489e9-2925' -kernelVersion='dev-5582' +kernelVersion='dev-5694'