From 051838e4b41d82b29841e56c2de38b5756f4aafc Mon Sep 17 00:00:00 2001
From: Kris Kowal <kris@agoric.com>
Date: Wed, 25 Sep 2024 15:50:56 -0700
Subject: [PATCH] ci: Poke continuous integration