Skip to content

Small CI fixups, add a zizmor workflow#53

Open
woodruffw wants to merge 1 commit intomainfrom
ww/ci
Open

Small CI fixups, add a zizmor workflow#53
woodruffw wants to merge 1 commit intomainfrom
ww/ci

Commits

Commits on Mar 31, 2026