Skip to content

Document how to set up a Jenkins build server#37

Merged
rerpha merged 11 commits intomasterfrom
jenkins
Mar 17, 2026
Merged

Document how to set up a Jenkins build server#37
rerpha merged 11 commits intomasterfrom
jenkins

Conversation

@Tom-Willemsen
Copy link
Member

No description provided.

@rerpha
Copy link
Contributor

rerpha commented Jul 10, 2025

maybe good to link to/merge with https://isiscomputinggroup.github.io/ibex_developers_manual/processes/continuous_integration/Adding-a-new-Windows-machine-to-Jenkins.html

### configure jenkins-agent.xml

We need a longer git checkout time than default of ten minutes. To adjust for submodule operations see https://plugins.jenkins.io/git/#plugin-content-default-timeout which basically means you need to add `-Dorg.jenkinsci.plugins.gitclient.Git.timeOut=60` to both the jenkins server and the client args. On the java command line put it before the `-jar` option as otherwise it gets passed as an argument to the jar file

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do we need to keep the above information somewhere as it may become relevant again?

@rerpha
Copy link
Contributor

rerpha commented Mar 17, 2026

@Tom-Willemsen it'd be good to get this in if we're about to set up some new build servers

@Tom-Willemsen Tom-Willemsen marked this pull request as ready for review March 17, 2026 14:30
@Tom-Willemsen Tom-Willemsen requested a review from rerpha March 17, 2026 14:30
@rerpha rerpha merged commit 1aabc56 into master Mar 17, 2026
2 checks passed
@rerpha rerpha deleted the jenkins branch March 17, 2026 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants