Pull request

Remove precondition assert from Augmented.sum(large:small:) #33

Sign in to view logs

Triggered via pull request August 11, 2025 22:15

opened #321

stephentyrone:remove-2sum-assert

Status Success

Total duration 11m 25s

Artifacts –

pull_request.yml

on: pull_request

Soundness / API breakage check

Soundness / Documentation check

Soundness / Unacceptable language check

Soundness / License headers check

Soundness / Broken symlinks check

Soundness / Format check

Soundness / Shell check

Soundness / YAML lint check

Soundness / Python lint check

Matrix: Test / embedded-wasm-sdk-build

Matrix: Test / linux-build

Matrix: Test / linux-static-sdk-build

Matrix: Test / macos-build

Matrix: Test / wasm-sdk-build

Matrix: Test / windows-build