Skip to content

Merge pull request #1074 from github/revert-1072-feature/update-user-… #4319

Merge pull request #1074 from github/revert-1072-feature/update-user-…

Merge pull request #1074 from github/revert-1072-feature/update-user-… #4319

Triggered via push March 6, 2026 19:09
Status Success
Total duration 28s
Artifacts 1
Generate HTML documentation
26s
Generate HTML documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
coding-standards-docs-36b8eb474897b7a7283e3782880afbae746d63be
43.5 KB
sha256:b8c73a264a888790b1fe749142c76f66ffa9061af345526d54557aa18e04283b