Enforce single-commit PR

New lemmas for stdlib #293

Sign in to view logs

Triggered via pull request July 2, 2026 14:32

strub

synchronize #1053

lemmas-from-oram

Status Success

Total duration 15s

Artifacts –

enforce-single-commit.yml

on: pull_request

check-commit-count