From f955d967c1ed88fe4265e5502376a022a275b42a Mon Sep 17 00:00:00 2001 From: "Mark C. Miller" Date: Mon, 25 Mar 2024 10:01:45 -0700 Subject: [PATCH] ws change to trigger a commit --- .github/workflows/wikize-refs-ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/wikize-refs-ci.yml b/.github/workflows/wikize-refs-ci.yml index d5d164bd00..119ba84c94 100644 --- a/.github/workflows/wikize-refs-ci.yml +++ b/.github/workflows/wikize-refs-ci.yml @@ -68,3 +68,5 @@ jobs: # be changed by `wikize_refs.py.`. If it will be changed, we echo a message # about it and set the final exstat status to non-zero. # + +