Enforce single-commit PR

[provers] update all CVC5 versions #13

Sign in to view logs

Triggered via pull request May 8, 2026 16:03

fdupress

synchronize #1004

docker-cvc5-1.3.4

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.