PR #16663 ci : avoid manual updates of docs/ops.md

ci : avoid manual updates of docs/ops.md #16663

CISC merged 1 commit into master from cisc/ci-no-manual-ops-md

ci : avoid manual updates of docs/ops.md

583cae28

CISC requested a review from

am17an 169 days ago

github-actions added devops

am17an approved these changes on 2025-10-19

CISC merged cec5edbc into master 169 days ago

CISC deleted the cisc/ci-no-manual-ops-md branch 169 days ago

Reviewers

am17an

Assignees

No one assigned

Labels

devops

Milestone

No milestone