docs

Rename `ctx` -> `man` #2251

Triggered via pull request December 19, 2024 09:11

synchronize #1648

issue_1438

Status Success

Total duration 10m 5s

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:bc761891c084493163965180b3bada21ed2eac60979c61a58774d5da40ff7ee9`