diff options
| author | LagoLunatic <LagoLunatic@users.noreply.github.com> | 2024-07-17 19:07:25 -0400 |
|---|---|---|
| committer | LagoLunatic <LagoLunatic@users.noreply.github.com> | 2024-07-17 19:07:25 -0400 |
| commit | fbe8bb7a320e011338304ce10ce1a361e2d99c97 (patch) | |
| tree | 94f124b3cdec83fb37ffe650cc3d5216272b5eb2 /.github | |
| parent | be019d1db94ad81b91de3ac9194cc8da346736e3 (diff) | |
fix CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f0ea8623..467259b9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -19,10 +19,6 @@ jobs: run: git config --global --add safe.directory "$GITHUB_WORKSPACE" - name: Prepare run: cp -R /orig/${{matrix.version}} orig - - name: Download objdiff CLI - if: github.ref == 'refs/heads/main' - run: | - python tools/download_tool.py --tag v2.0.0-alpha.5 objdiff-cli objdiff-cli - name: Build run: | python configure.py --version ${{matrix.version}} --compilers /compilers --warn error @@ -40,6 +36,10 @@ jobs: - name: Generate objdiff progress report if: github.ref == 'refs/heads/main' run: | + pwd + python tools/download_tool.py --tag v2.0.0-alpha.5 objdiff-cli objdiff-cli + pwd + ls ./objdiff-cli report generate -o report.json - name: Save objdiff progress report artifact if: github.ref == 'refs/heads/main' |