🤖 Jenkins integration
Placeholder.
Document how to run microCI from Jenkins, including workspace checkout, binary download, SSH setup, and script execution.
Suggested structure
- job trigger
- agent image or node
- download microCI
- prepare SSH keys and known hosts
- run
microCI | bash - archive artifacts