diff options
| author | robojumper <robojumper@gmail.com> | 2025-05-19 00:33:25 +0200 |
|---|---|---|
| committer | robojumper <robojumper@gmail.com> | 2025-05-19 00:33:25 +0200 |
| commit | f0ccf5093e896d79242c0efac9a4bb03d8bf9cc6 (patch) | |
| tree | d54826e219440497c5911577b316012fd3b4b5c3 /.github/workflows | |
| parent | 924db04bd95a3c511b5692ae72c5221301bb5536 (diff) | |
dtk upgrade
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3e1f0811..bebbd6c8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -37,23 +37,7 @@ jobs: run: | python configure.py --map --version ${{ matrix.version }} \ --binutils /binutils --compilers /compilers - ninja all_source build/${{ matrix.version }}/progress.json \ - build/${{ matrix.version }}/report.json - - # Upload progress if we're on the main branch - - name: Upload progress - # If you're using a different branch, change this to match - if: github.ref == 'refs/heads/main' - continue-on-error: true - env: - # Replace with your project slug - PROGRESS_SLUG: ss - # Set the API key in your repository secrets - PROGRESS_API_KEY: ${{ secrets.PROGRESS_API_KEY }} - run: | - python tools/upload_progress.py -b https://progress.decomp.club/ \ - -p $PROGRESS_SLUG -v ${{ matrix.version }} \ - build/${{ matrix.version }}/progress.json + ninja all_source progress build/${{ matrix.version }}/report.json # Upload map files - name: Upload map |