Skip to content
Enforce single-commit PR

Simpler SMT goals #367

Sign in to view logs

Simpler SMT goals

Simpler SMT goals #367

Triggered via pull request July 20, 2026 09:31
@vbglvbgl
synchronize #1083
vbgl:smt-2026-07-20
Status Success
Total duration 9s
Artifacts –

enforce-single-commit.yml

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