From dbf91adadb3f368155f615c9e9a05abccc13cb6e Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 29 Nov 2021 10:00:31 +0200
Subject: fix: openpgp-ca workspace name

Sponsored-by: author
---
 ci-prod.ick | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.1