diff options
-rw-r--r-- | ci-prod.ick | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index cf3d4e6..efcbe32 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -436,6 +436,17 @@ projects: - ick/upload_debs - ick/save_workspace + - project: openpgp-ca + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/sequoia + ref: main + location: src + workspace_name: sequoia + pipelines: *deb_ci_rustup_without_check_pipelines + - project: journal.liw.fi parameters: <<: *website_params |