Skip to content

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

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

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

Triggered via pull request May 26, 2026 08:10
@strubstrub
synchronize #1015
split-star
Status Success
Total duration 6s
Artifacts

enforce-single-commit.yml

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