Skip to content
Build documentation

[documentation]: document the splitwhile tactic #82

Sign in to view logs

[documentation]: document the splitwhile tactic

[documentation]: document the splitwhile tactic #82

Triggered via pull request February 3, 2026 07:26
@strubstrub
opened #881
doc-splitwhile-tactic
Status Success
Total duration 3m 44s
Artifacts 1

docs.yml

on: pull_request
build
3m 40s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
refman Expired
7.83 MB
sha256:45f903cab3f3c30c684c256a759c13db7ee4fb6f1d204bdf3ea312f8ac0c525a