Gerrit Code Review
|
ef8be575da
|
Update notes for submitted changes
* obs: fix building rpms with man pages
|
2022-11-03 11:26:19 +00:00 |
|
Gerrit Code Review
|
043efa159d
|
Update notes for submitted changes
* ansible: remove raspbian default user "pi"
* ansible: explicitly give jenkins user UID=1000
* ansible: fix apt deprecation warning about loops
* jobs/*: update references to rpi4 nodes
* ansible/hosts: update rpi4-raspbian10build-*
|
2021-03-09 10:36:43 +00:00 |
|
Gerrit Code Review
|
04da4b7acb
|
Update notes for submitted changes
* repo-install-test: add 'debian10'
* repo-install-test: rename 'debian' to 'debian9'
* Cosmetic: repo-install-test: fix DISTRO comment
* repo-install-test: resolve distro obs dir in func
* repo-install-test: verify DISTRO argument
* repo-install-test: no distro version in function
* repo-install-test: print successful test msg
|
2021-01-25 09:36:31 +00:00 |
|
Gerrit Code Review
|
a0d16db8b7
|
Update notes for submitted changes
* jobs/gerrit-verifications.yml: add erlang repos
|
2020-01-16 14:07:51 +00:00 |