github-actions released this 05 Mar 03:20

· 5886 commits to main since this release

v0.24.0

8854dec

I used a specially modified version of the publish script to avoid
bumping the `witx` version.