From 3d3a6f3868ffdb7dba89f8ef757b1faacb943a38 Mon Sep 17 00:00:00 2001
From: Kris Kowal <kris@agoric.com>
Date: Tue, 19 Dec 2023 13:45:19 -0800
Subject: [PATCH] ci: Poke continuous integration