docs

Rename `ctx` -> `man` #2242

Triggered via pull request December 19, 2024 09:01

synchronize #1648

issue_1438

Status Success

Total duration 4m 37s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.12 MB	`sha256:e16fd3410eed8be008e5910b2f31594a345494cdf6c6121600533925dbfa8e4e`