Skip to content
Build documentation

[documentation]: document the splitwhile tactic #100

Sign in to view logs

[documentation]: document the splitwhile tactic

[documentation]: document the splitwhile tactic #100

Triggered via pull request February 4, 2026 14:50
@strubstrub
synchronize #881
doc-splitwhile-tactic
Status Success
Total duration 6m 23s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
refman Expired
7.83 MB
sha256:1386f3e8983f89dc1333ac75905ba4df5ad64a033e0c30e514e9d3086d34900d