Skip to content
Post PR summary comment

[Merged by Bors] - chore(scripts): require all scripts to be documented in the README #27662

Sign in to view logs

[Merged by Bors] - chore(scripts): require all scripts to be documented in the README

[Merged by Bors] - chore(scripts): require all scripts to be documented in the README #27662

Triggered via pull request October 30, 2024 23:56
@kim-emkim-em
synchronize #14539
MR-lint-undocumented-scripts
Status Success
Total duration 49s
Artifacts –

PR_summary.yml

on: pull_request
build
41s
build
Fit to window
Zoom out
Zoom in