Skip to content
Build documentation

feat: print an individual procedure (print [proc] M.p) #900

Sign in to view logs

feat: print an individual procedure (print [proc] M.p)

feat: print an individual procedure (print [proc] M.p) #900

Triggered via pull request July 1, 2026 15:51
@strubstrub
synchronize #1064
print-proc
Status Success
Total duration 13m 21s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
refman
7.92 MB
sha256:9ca694f74243c9518dc879563183d6be23db9c7ff83c5e581a049c3385d80e1e