docs: rename dev to devel (#18) · cloudnative-pg/docs@adfa6e3

Triggered via push December 18, 2025 10:13

leonardoce

main

Status Success

Total duration 3m 11s

Artifacts 1

publish-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	12.9 MB	`sha256:c14c1a0f80085faa0438b17a807eedf15a9bd35f8cdb953bde805a110f61bafc`