Skip to content
Devmanual CI

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

Sign in to view logs

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

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

Triggered via pull request November 8, 2024 06:35
@ulmulm
synchronize #352
ulm:document-element
Status Success
Total duration 35s
Artifacts –

devmanual-ci.yml

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