[4.0] Fix the script definition in the Jenkinsfile#2779
Merged
DavideD merged 1 commit intohibernate:4.0from Nov 17, 2025
Merged
[4.0] Fix the script definition in the Jenkinsfile#2779DavideD merged 1 commit intohibernate:4.0from
DavideD merged 1 commit intohibernate:4.0from