Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -352,7 +352,7 @@ jobs:
run: strip target/release/${{ matrix.artifact_name }}

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: ${{ matrix.asset_name }}
path: target/release/${{ matrix.artifact_name }}
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/harness.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:
toolchain: stable
- uses: Swatinem/rust-cache@d1527c8f67ef9af357290475d4af4b0fab8f12e0 # v2
- run: cargo build --release --bin truent
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-bin
path: target/release/truent
Expand Down Expand Up @@ -115,7 +115,7 @@ jobs:
assert all(f["evidence"] == "proven" for f in d["findings"] if f["invariant_id"] == "evm_symbolic_counterexample")
print("halmos ran:", d["stats"])
PY
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: symbolic-report
path: symbolic.json
Expand Down Expand Up @@ -181,7 +181,7 @@ jobs:
print(f"mutation score: {caught}/{len(tested)} = {rate:.0%}")
assert rate >= 0.60, "mutation score below the 60% floor — the tests do not catch enough injected bugs"
PY
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
if: always()
with:
name: mutants
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/publish-npm.yml
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ jobs:
fi

- name: Upload binary artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: binary-${{ matrix.target }}
path: target/${{ matrix.target }}/release/${{ steps.binary.outputs.name }}
Expand Down Expand Up @@ -274,7 +274,7 @@ jobs:
fi

- name: Upload npm package artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: npm-package
path: truent-npm-${{ needs.extract-version.outputs.version }}.tgz
Expand Down
16 changes: 8 additions & 8 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,7 @@ jobs:
echo "✓ Binary smoke test passed"

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-x86_64-linux-gnu
path: target/x86_64-unknown-linux-gnu/release/truent
Expand Down Expand Up @@ -249,7 +249,7 @@ jobs:
echo "✓ Binary smoke test passed"

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-x86_64-linux-musl
path: target/x86_64-unknown-linux-musl/release/truent
Expand Down Expand Up @@ -293,7 +293,7 @@ jobs:
echo "✓ Binary is aarch64 architecture"

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-aarch64-linux-gnu
path: target/aarch64-unknown-linux-gnu/release/truent
Expand Down Expand Up @@ -335,7 +335,7 @@ jobs:
echo "✓ Binary smoke test passed"

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-x86_64-apple-darwin
path: target/x86_64-apple-darwin/release/truent
Expand Down Expand Up @@ -374,7 +374,7 @@ jobs:
echo "✓ Binary smoke test passed"

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-aarch64-apple-darwin
path: target/aarch64-apple-darwin/release/truent
Expand Down Expand Up @@ -411,7 +411,7 @@ jobs:
shell: pwsh

- name: Upload artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: truent-x86_64-pc-windows-msvc
path: target/x86_64-pc-windows-msvc/release/truent.exe
Expand Down Expand Up @@ -533,7 +533,7 @@ jobs:
ls -lh dist/

- name: Upload packaged artifacts
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: packages
path: dist/
Expand All @@ -560,7 +560,7 @@ jobs:
cat SHA256SUMS

- name: Upload checksums
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: checksums
path: dist/SHA256SUMS
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/supply-chain.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ jobs:
run: git clone --depth 1 https://github.com/rustsec/advisory-db.git /tmp/advdb
- name: SBOM and dependency analysis
run: ./target/release/truent deps . --advisory-db /tmp/advdb --sbom sbom.cdx.json --fail-on high
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: sbom
path: sbom.cdx.json
Expand Down Expand Up @@ -71,7 +71,7 @@ jobs:
for i in $(seq 1 60); do curl -sf -o /dev/null http://127.0.0.1:3111/ && break; sleep 1; done
./target/release/truent probe http://127.0.0.1:3111 --authorized --ports none --format json --fail-on critical > probe-web.json
./target/release/truent probe http://127.0.0.1:3111 --authorized --ports none --fail-on critical || true
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: probe-web
path: probe-web.json
Expand Down Expand Up @@ -109,7 +109,7 @@ jobs:
if [ "${{ github.ref }}" = "refs/heads/main" ]; then STRICT=--strict; else STRICT=; fi
./target/release/truent release-check . --advisory-db /tmp/advdb --probe-report probe-web.json --symbolic-report symbolic.json --out release-check.md $STRICT
head -60 release-check.md >> "$GITHUB_STEP_SUMMARY"
- uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
if: always()
with:
name: release-check
Expand Down
Loading