Enforce single-commit PR

[chore] stabilise SMT and bump provers #376

Sign in to view logs

Triggered via pull request July 23, 2026 09:17

fdupress

synchronize #1084

stabilise-smt

Status Failure

Total duration 6s

Artifacts –

enforce-single-commit.yml

on: pull_request

check-commit-count

Annotations

2 errors

check-commit-count

Process completed with exit code 1.

check-commit-count

This PR has 2 commits. Please squash to a single commit.