revive ci

Greg Lindahl · Greg Lindahl · commit 47a3b25c2855 · 2024-09-01T21:09:21.000Z
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,6 @@
 name: CI
 
-on:
+#on:
   # runtime is erratic and up to an hour, so make this human-requested only
   #push:
   #  branches:
