File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1212 with :
1313 persist-credentials : false
1414 - uses : ./.github/actions/uv-setup
15- - name : Create a dummy data.py
16- run : cp data.py-dist data.py
1715 - name : Create a dummy vm_data.py
1816 run : cp vm_data.py-dist vm_data.py
1917 - run : mypy --install-types --non-interactive .
2523 with :
2624 persist-credentials : false
2725 - uses : ./.github/actions/uv-setup/
28- - name : Create a dummy data.py
29- run : cp data.py-dist data.py
3026 - name : Create a dummy vm_data.py
3127 run : cp vm_data.py-dist vm_data.py
3228 - run : pyright .
4036 with :
4137 persist-credentials : false
4238 - uses : ./.github/actions/uv-setup/
43- - name : Create a dummy data.py
44- run : cp data.py-dist data.py
4539 - run : ruff check
4640
4741 flake8 :
Original file line number Diff line number Diff line change 1414 - uses : ./.github/actions/uv-setup/
1515 with :
1616 dev : false
17- - name : Create a dummy data.py
18- run : cp data.py-dist data.py
1917 - run : ./jobs.py check
Original file line number Diff line number Diff line change 1414 - uses : ./.github/actions/uv-setup/
1515 with :
1616 dev : false
17- - name : Create a dummy data.py
18- run : cp data.py-dist data.py
1917 - name : jobs-check
2018 run : |
2119 FAILURES=""
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments