diff options
| author | Lars Wirzenius <liw@liw.fi> | 2023-04-26 08:33:55 +0300 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2023-04-26 08:33:55 +0300 |
| commit | ef28f91c595a75d7eddc6ed652be392549c15bb7 (patch) | |
| tree | fbbfae51cad3ca69ef57ed274808258e42e02f65 /ci-prod.ick | |
| parent | 673435a0f21df78a49a322be712d036ee6cd91a5 (diff) | |
| download | liw-ci-ef28f91c595a75d7eddc6ed652be392549c15bb7.tar.gz | |
html-page: add
Sponsored-by: author
Diffstat (limited to 'ci-prod.ick')
| -rw-r--r-- | ci-prod.ick | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index b258897..3b2cff8 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -1055,6 +1055,16 @@ projects: repo: ssh://git@git.liw.fi/puomi.liw.fi pipelines: *website_pipelines + - project: html-page + parameter: + <<: *dummy_program_params + workspace_name: html-page + sources: + - name: source + ref: main + location: src + repo: ssh://git@git.liw.fi/html-page + pipelines: *deb_ci_rustup_with_check_pipelines pipelines: |