furushchev/Build gazebo repositories into deb files
Build gazebo to deb files
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| destination | Path to output directory that stores deb files | yes | — |
| repos_file | Path to .repos files | yes | — |
| os_distro | Target Ubuntu OS distribution (i.e. noble, jammy) | yes | — |
| ccache_dir | Path to ccache cache dir | — | .ccache |
| build_parallel_jobs | Parallel job numbers | — | "" |
| apt_cache_port | Port of apt cache proxy server | — | 3142 |
Outputs
no outputs