Skip to content
PR number update

Fix 'wrap-comments' not working with the janestreet profile #2086

Sign in to view logs

Fix 'wrap-comments' not working with the janestreet profile

Fix 'wrap-comments' not working with the janestreet profile #2086

Triggered via pull request January 8, 2025 08:51
@JulowJulow
synchronize #2645
Status Success
Total duration 13s
Artifacts –

pr-number.yml

on: pull_request_target
Update PR number
4s
Update PR number
Fit to window
Zoom out
Zoom in