Skip to content
Enforce single-commit PR

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) #565

Sign in to view logs

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105)

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) #565

Triggered via pull request September 13, 2026 02:56
@Yiping106283Yiping106283
synchronize #1135
Yiping106283:fix-phoare-rnd-nonneg
Status Failure
Total duration 6s
Artifacts –

enforce-single-commit.yml

on: pull_request
check-commit-count
3s
check-commit-count
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check-commit-count
Process completed with exit code 1.
check-commit-count
This PR has 3 commits. Please squash to a single commit.