diff options
Diffstat (limited to 'ci-prod.ick')
-rw-r--r-- | ci-prod.ick | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index efcbe32..e76c794 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -444,7 +444,7 @@ projects: repo: git://git.liw.fi/sequoia ref: main location: src - workspace_name: sequoia + workspace_name: openpgp-ca pipelines: *deb_ci_rustup_without_check_pipelines - project: journal.liw.fi |