Continuous Verification with rzk

GitHub Action

See https://github.com/rzk-lang/rzk-action. See also https://github.com/emilyriehl/yoneda for an example usage of the action.