Skip to content
Build documentation

[documentation]: document the splitwhile tactic #83

Sign in to view logs

[documentation]: document the splitwhile tactic

[documentation]: document the splitwhile tactic #83

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

docs.yml

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

Artifacts

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