Remove ci_build.sh

After the previous commit, it doesn't do much. Just write its contents
directly in the workflow step.
This commit is contained in:
Philip Chimento 2024-11-04 17:46:05 -08:00 committed by Philip Chimento
parent c73968aaaf
commit b292eb95c3
3 changed files with 6 additions and 5 deletions

View File

@ -49,7 +49,9 @@ jobs:
run: ./tools/generation/test/run.py
- name: Build tests
run: ./tools/scripts/ci_build.sh
run: |
./make.py clean >/dev/null
./make.py
- name: Verify changes
uses: tj-actions/verify-changed-files@v20

View File

@ -70,7 +70,9 @@ jobs:
run: ./tools/generation/test/run.py
- name: Build tests
run: ./tools/scripts/ci_build.sh
run: |
./make.py clean >/dev/null
./make.py
- name: Verify changes
uses: tj-actions/verify-changed-files@v20

View File

@ -1,3 +0,0 @@
#!/bin/sh
./make.py clean > /dev/null
./make.py