diff options
| author | briaguya <70942617+briaguya-ai@users.noreply.github.com> | 2023-11-10 20:46:26 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-10 20:46:26 -0500 |
| commit | c194e945152aba79a646af4def871c926acbe9ca (patch) | |
| tree | 775d62d42a25ce81cb5349005a470e11b4b263c7 /.github/workflows | |
| parent | 153049752988a464ad9b3389fe5b03832f343a52 (diff) | |
Update ci.yml
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f132af2e1..ec0a3e9de 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Check formatting run: bash -c "tools/check_format.sh 2>&1 | tee tools/check_format.txt" @@ -26,9 +26,6 @@ jobs: - name: Setup run: bash -c "make -j setup 2> >(tee tools/warnings_count/warnings_setup_new.txt)" - - name: Check setup warnings - run: bash -c "./tools/warnings_count/compare_warnings.sh setup" - - name: Assets run: bash -c "make -j assets 2> >(tee tools/warnings_count/warnings_assets_new.txt)" |