From 19cca84cb89dcaaf434f5c2f25376f19118ea1f0 Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Sat, 30 May 2026 11:22:03 -0400
Subject: [PATCH] .forgejo workflow: + xo-procedure2

---
 .forgejo/workflows/ci.yaml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.forgejo/workflows/ci.yaml b/.forgejo/workflows/ci.yaml
index 631da5c3..44081fea 100644
--- a/.forgejo/workflows/ci.yaml
+++ b/.forgejo/workflows/ci.yaml
@@ -67,8 +67,10 @@ jobs:
           nix-build ci.nix -A xo-reflectutil
 
       - name: build xo-arena
-        run:
+        run: |
+          echo -n nix-build ci.nix -A xo-arena
           nix-build ci.nix -A xo-arena
+          ls -l ./result
 
       - name: build xo-facet
         run: |
@@ -129,3 +131,9 @@ jobs:
           echo -n nix-build ci.nix -A xo-type
           nix-build ci.nix -A xo-type
           ls -l ./result
+
+      - name: build xo-procedure2
+        run: |
+          echo -n nix-build ci.nix -A xo-procedure2
+          nix-build ci.nix -A xo-procedure2
+          ls -l ./result