Skip to content
Devmanual CI

Rename the document element from "guide" to "devbook" #428

Sign in to view logs

Rename the document element from "guide" to "devbook"

Rename the document element from "guide" to "devbook" #428

Triggered via pull request October 28, 2024 17:14
@ulmulm
synchronize #352
ulm:document-element
Status Success
Total duration 28s
Artifacts –

devmanual-ci.yml

on: pull_request
build
18s
build
Fit to window
Zoom out
Zoom in