This repository was archived by the owner on Jul 29, 2023. It is now read-only.

github/workflows/publish: run build before publish