Enforce single-commit PR

[chore] stabilise SMT and bump provers #384

Sign in to view logs

Triggered via pull request July 28, 2026 08:16

fdupress

synchronize #1084

stabilise-smt

Status Failure

Total duration 7s

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.