Skip to content
Enforce single-commit PR

split: add split * and split + to iterate over top-level conjunctions #51

Sign in to view logs

split: add split * and split + to iterate over top-level conjunctions

split: add split * and split + to iterate over top-level conjunctions #51

Triggered via pull request May 25, 2026 16:19
@strubstrub
synchronize #1015
split-star
Status Success
Total duration 6s
Artifacts –

enforce-single-commit.yml

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