Skip to content
[Jenkins]Jenkins
log in

Console Output

+ git diff-index --quiet HEAD
+ git config user.email openmodelica@ida.liu.se
+ git config user.name OpenModelica Hudson
+ git commit -m Updated Linux versions in the JSON
[main 830f7861] Updated Linux versions in the JSON
 1 file changed, 4 insertions(+), 4 deletions(-)
+ GIT_SSH_COMMAND=ssh -o StrictHostKeyChecking=no git push --set-upstream origin main
remote: Bypassed rule violations for refs/heads/main:        
remote: 
remote: - Changes must be made through a pull request.        
remote: 
remote: - Required status check "continuous-integration/jenkins/pr-merge" is expected.        
remote: 
To github.com:OpenModelica/www.openmodelica.org.git
   42dd663e..830f7861  main -> main
Branch 'main' set up to track remote branch 'main' from 'origin'.