Skip to content
Publish Docs

Make --no-server mode also terminate on removal of processId file… #879

Sign in to view logs

Make --no-server mode also terminate on removal of processId file…

Make --no-server mode also terminate on removal of processId file… #879

Triggered via push February 19, 2025 08:44
@lihaoyilihaoyi
pushed a16a448
main
Status Success
Total duration 9m 31s
Artifacts –

publish-docs.yml

on: push
publishDocs
8m 14s
publishDocs
Fit to window
Zoom out
Zoom in