Skip to content
Back to pull request #22

better pre-push hook #113

Sign in to view logs

better pre-push hook

better pre-push hook #113

lint github actions

lint github actions
succeeded Mar 10, 2024 in 16s