Enforce single-commit PR

Simpler SMT goals #366

Sign in to view logs

Triggered via pull request July 20, 2026 09:13

vbgl

opened #1083

vbgl:smt-2026-07-20

Status Success

Total duration 5s

Artifacts –

enforce-single-commit.yml

on: pull_request

check-commit-count