chore(ci): fix makefile target (#721)

This commit is contained in:
William Woodruff 2025-04-30 00:46:26 -04:00 committed by GitHub
parent 403df8a84c
commit f55d31db7e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -26,7 +26,7 @@ sponsors: docs/snippets/sponsors.html
docs/snippets/sponsors.html: docs/snippets/sponsors.json docs/snippets/render-sponsors.py
uv run --no-project docs/snippets/render-sponsors.py > $@
.PHONY: schemas
schemas:
.PHONY: refresh-schemas
refresh-schemas:
curl https://json.schemastore.org/github-workflow.json > src/data/github-workflow.json
curl https://json.schemastore.org/github-action.json > src/data/github-action.json