File tree Expand file tree Collapse file tree 2 files changed +8
-3
lines changed Expand file tree Collapse file tree 2 files changed +8
-3
lines changed Original file line number Diff line number Diff line change @@ -25,13 +25,12 @@ jobs:
2525 run : |
2626 sudo apt-get update
2727 sudo apt-get install -y nasm make
28- python3 -m pip install requests xbstrap
2928 - name : Build Documentation
3029 run : make doc
3130 - name : Formatting Check
3231 run : |
33- ./aero.py --fmt
34- git diff-index --quiet HEAD -- || (printf "${RED}error${NOCOLOR}: formatting check failed, run \`./aero.py -- fmt\`\n" && exit 1)
32+ make check_fmt
33+ git diff-index --quiet HEAD -- || (printf "${RED}error${NOCOLOR}: formatting check failed, run \`make fmt\`\n" && exit 1)
3534 - name : Deploy documentation
3635 uses : peaceiris/actions-gh-pages@v3
3736 if : github.ref == 'refs/heads/master' && (github.event_name == 'push' || github.event_name == 'schedule')
Original file line number Diff line number Diff line change 8686ifeq ($(open ) ,yes)
8787 xdg-open target/doc/index.html
8888endif
89+
90+ fmt :
91+ cd $(SOURCE_DIR ) && cargo fmt
92+
93+ check_fmt :
94+ cd $(SOURCE_DIR ) && cargo fmt -- --check
You can’t perform that action at this time.
0 commit comments