Skip to content

Add adamduda.tex-snippets to gallery #222

Add adamduda.tex-snippets to gallery

Add adamduda.tex-snippets to gallery #222

Workflow file for this run

name: Validate Extension Submission
on:
pull_request:
branches: [main]
paths:
- "extensions/**"
permissions:
contents: read
jobs:
validate:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
with:
fetch-depth: 0
- name: Setup Python
uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
with:
python-version: "3.12"
- name: Install dependencies
run: pip install -r .github/scripts/requirements.txt
- name: Validate extension submission
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
FILES=$(git diff --name-only origin/main...HEAD -- 'extensions/')
if [ -n "$FILES" ]; then
python .github/scripts/validate.py $FILES --summary validation-summary.md
else
echo "No extension files changed."
fi