File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1010 - " .github/workflows/**"
1111 workflow_dispatch :
1212
13+ concurrency :
14+ group : pages-${{ github.workflow }}-${{ github.ref }}
15+ cancel-in-progress : true
16+
1317permissions :
1418 contents : read
1519 pages : write
2024
2125jobs :
2226 check-animations :
23- uses : ./.github/workflows/check-animations.yml
24-
25- build :
2627 runs-on : ubuntu-latest
27- needs : check-animations
28+
2829 steps :
29- - name : Checkout repository
30+ - &checkout_step
31+ name : Checkout repository
3032 uses : actions/checkout@v5
31-
32- - name : Set up Python
33+ - &setup_python_step
34+ name : Set up Python
3335 uses : actions/setup-python@v6
3436 with :
3537 python-version : " 3.13"
36-
37- - name : Install dependencies
38+ cache : pip
39+ cache-dependency-path : ./scripts/requirements.txt
40+ - &install_dependencies_step
41+ name : Install dependencies
3842 run : pip install -r ./scripts/requirements.txt
43+ - name : Run animations check
44+ run : python3 ./scripts/check_animations.py
45+
46+ build :
47+ runs-on : ubuntu-latest
48+ needs : check-animations
49+ steps :
50+ - *checkout_step
51+ - *setup_python_step
52+ - *install_dependencies_step
3953
4054 - name : Build website
4155 run : python3 ./scripts/build_website.py --destination ${{ env.SITE_DIR }} --randomize --seed 875492
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments