From b21209395f24b572cdcbaf730221c23c7544710a Mon Sep 17 00:00:00 2001
From: Kris Kowal <kris@agoric.com>
Date: Mon, 27 Nov 2023 16:45:15 -0800
Subject: [PATCH] ci: Poke continuous integration