repo deb
The repository can be added to the system by installing a package. The location of the repository can be changed in the future by pushing an update to the repo deb.
This commit is contained in:
parent
7645a4737f
commit
73da6b9d0d
15 changed files with 104 additions and 0 deletions
|
@ -160,6 +160,12 @@ pipeline:
|
|||
- ./.ci-make.sh package-prep
|
||||
- ./.ci-make.sh package-build
|
||||
- ./.ci-make.sh package-clean
|
||||
|
||||
package-repo:
|
||||
image: *deb_build_image
|
||||
commands:
|
||||
- cd repo-deb
|
||||
- ./build.sh
|
||||
|
||||
gen-sha256:
|
||||
image: *ci_verify_image
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue