You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Ensure generated schema_doc.md matches the one in the repo at docs/schema_doc.md
- run: |
if ! diff schema_doc.md docs/schema_doc.md; then
echo "Config schema is out of date. Please run 'python3 src/penguin/penguin_config/gen_docs.py docs > docs/schema_doc.md && git add docs/schema_doc.md' and push a commit with the updated schema."