From 4c2d8fc4e23399025232c499e06c581dd6ca01d6 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