mirror of
https://github.com/projectPiki/pikmin.git
synced 2024-11-23 05:19:50 +00:00
Enable all_source and progress report
This commit is contained in:
parent
0a47339f7f
commit
17121d3d38
6
.github/workflows/build.yml
vendored
6
.github/workflows/build.yml
vendored
@ -35,10 +35,8 @@ jobs:
|
||||
run: |
|
||||
python configure.py --map --version ${{ matrix.version }} \
|
||||
--binutils /binutils --compilers /compilers
|
||||
ninja build/${{ matrix.version }}/progress.json
|
||||
# TODO: Enable all_source and report.json
|
||||
# ninja all_source build/${{ matrix.version }}/progress.json \
|
||||
# build/${{ matrix.version }}/report.json
|
||||
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
|
||||
|
Loading…
Reference in New Issue
Block a user