Skip to content

[devops] Rework how we hide GitHub comments. #10873

[devops] Rework how we hide GitHub comments.

[devops] Rework how we hide GitHub comments. #10873

Triggered via pull request September 30, 2024 18:16
Status Success
Total duration 3m 8s
Artifacts 1

autoformat.yml

on: pull_request
Autoformat code
3m 0s
Autoformat code
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
autoformat
126 Bytes