diff options
| author | LagoLunatic <LagoLunatic@users.noreply.github.com> | 2025-05-17 14:58:34 -0400 |
|---|---|---|
| committer | LagoLunatic <LagoLunatic@users.noreply.github.com> | 2025-05-17 14:58:34 -0400 |
| commit | ee64bd24ae64686b6771f7707b0c8fb8a86f304e (patch) | |
| tree | 2137df562394e6b1e1fb805b9a820339572f9a23 /.github | |
| parent | 9d5bd502463bea2ce7f3e7cf2d28b52d64321f7d (diff) | |
Fix
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c787ae2f..4cab970d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -35,15 +35,12 @@ jobs: - name: Prepare run: cp -R /orig . - - name: Diff - run: | - ninja diff - # Build the project - name: Build run: | python configure.py --map --version ${{ matrix.version }} \ --binutils /binutils --compilers /compilers + ninja diff ninja all_source build/${{ matrix.version }}/progress.json \ build/${{ matrix.version }}/report.json |