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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
18s
18s