Skip to content
Enforce single-commit PR

New lemmas for stdlib #300

Sign in to view logs

New lemmas for stdlib

New lemmas for stdlib #300

Triggered via pull request July 2, 2026 17:28
@strubstrub
synchronize #1053
lemmas-from-oram
Status Success
Total duration 2m 27s
Artifacts –

enforce-single-commit.yml

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